serial 64-bit bootloader for the ~~raspberry pi 3~~ RPi4! - View it on GitHub