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