[OpenBIOS] c-bindings