clocksource: Fix clocksource_mmio_readX_down