This is nice, although it was possible to run a 64bit kernel before [1].<p>[1] <a href="https://www.sindastra.de/p/1345/switch-your-raspberry-pi-to-64-bit-kernel-raspbian" rel="nofollow">https://www.sindastra.de/p/1345/switch-your-raspberry-pi-to-...</a>