Debugging bare-metal on a Raspberry Pi