Fix issue with masking key extraction on ARM9 (presumably due to memory ...

...alignment)