Simple boot-over-serial bootloader for the Raspberry Pi