[OpenBIOS] [Fwd: Re: [coreboot] OpenBIOS SVN r416 breaks coreboot-v3]