[coreboot] what does 0x80 I/O address mean when initializing CPU?