Looks like the kernel in that image was sourced from https://github.com/Electron752/boot64-rpi3, built from https://github.com/Electron752/linux .
Looks like the kernel in that image was sourced from https:/ /github. com/Electron752 /boot64- rpi3, built from https:/ /github. com/Electron752 /linux .