[OpenBIOS] separate question on PnP and BIOS POST