Raspberry Pi 4 Dual Boot. Includes setting up the firmware boot menu, and using PINN O