[OpenBIOS] C bindings