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