[OpenBIOS] qemu/openbios boot failure - gcc-4.4 problem?