[coreboot] I/O ports don't work