Mnemonic fixes from https://github.com/raspberrypi/userland/blob/master/vcinclude/vcore.h