[OpenBIOS] port 0x80 ?