Playing with Raspberry Pi LEDs and ARM assembly