Fix ARMv4 style writebacks in ARM.11