ARM: fix write*() I/O accessors