Raspberry Pi buffer swap implementation in ARM assembly