A second stage bootloader for the Raspberry Pi