[OpenBIOS] Documentation on 0xcfe IO port?