[OpenBIOS] compiler speed