Re: [OpenBIOS] [PATCH RFC] openbios-devel/arch/ppc/qemu/init.c