Booting the Raspberry Pi 5 with the Mainline Linux Kernel