Check memory alignments for STR in ARM.9. Apply this to other 32-bit writes later
Proper implementation of Overflow Flag calculation