[OpenBIOS] Reducing QEMU's CPU usage