ちなみに、以下を見ると9月3日付けでRaspbianの64bit kernel(kernel8.img)がビルドされてtestingになった。(4.19.71)
https://github.com/raspberrypi/firmware/commits

しかし、同日にRaspberry pi 3以下の古い機種で64bit kernelが動作しないように変更されてしまった（泣）
せめてRaspberry pi 3B/3B+だけでも良いからkernel8.imgが動くようにして欲しかった。