Re: [OpenBIOS] Fwd: [Bug 623852] Re: PPC emulation loops on booting a FreeBSD kernel