[coreboot] question about mapping of registers to I/O locations