[OpenBIOS] QEMU PPC support for OpenBIOS