https://www.sindastra.de/p/1345/switch-your-raspberry-pi-to-64-bit-kernel-raspbian