[OpenBIOS] failed to build