[coreboot] Understanding BIOS I/O Adresses