[OpenBIOS] Platform for the OPENBIOS question