Second stage bootloader for the Raspberry Pi