Experimenting with writing a bare-metal kernel for the RPi