The Raspberry Pi foundation have now released a beta version of an official 64-bit Kernel which can be installed using the rpi-update script. The rpi-update script can be found at https://github.com/Hexxeh/rpi-update/blob/master/rpi-update or through the Raspbian repositories.
The objective of these instructions is to build a stock 64bit Linux Kernel for use on the Raspberry Pi 3B on a Debian x64 machine (Windows Subsystem for Linux in my case), and deploy on the Raspberry Pi.
Notes:
- Transfer to Pi is using my NAS in this example, replace with shared drive/memory stick etc. as required.
- (N: drive on Windows and /mnt/NAS on Linux in this example).
- For a specific Kernel version replace the 4.19 with the wanted version in the git clone command.