aarch64 kernel on Raspberry Pi 4 - instructions

[greps]

Hi, I found HWclock didnt work on mine and havent been able to get 5GHz working (on either the 32bit or 64bit kernel). If there is any way I can send some telemetry your way I would have no problem doing so