Build a 64bit bootable image for a Raspberry Pi 4 | Hacker News Reader