Hi panic,
0x80 is a debug io port. There are pci cards showing you one byte on a lcd display. coreboot is using 0x80 too for debug output. The interface is simple, the firmware/bios will increment the value sent to that address while it's booting. In the case your bios is hangs somewhere while booting, you can read from the card it's last byte sent to that ioport 0x80.
No idea what for the others io codes are.
best, lynxis