The last 64-bit word of a 4K I/O mapping (i.e. offset = 4096 - 8) can be
written to in order to change the value of an active monitor counter.
The lower 12 bits of the written value must contain the counter's MCID
and the remainder bits the desired counter value.