raspberrypi3のCPUのコアはCortex-A53のため、64bitコードを動作させることができる。 しかし、オフィシャルでリリースしているカーネルは現状32bit版のみとなっている。 探してみたところ、すでにraspberrypi3のカーネルをaarch64で動くようにした猛者がい…