An experimental 'stage-2' bootloader for the Raspberry Pi