[OpenBIOS] r407 - openbios-devel/arch/ppc/qemu