arm64: io: Ensure value passed to __iormb() is held in a 64-bit register