ARMv4 assembler: fix compilation failure. Fix is actually unconfirmed, but