[OpenBIOS] OpenBIOS SVN r416 breaks coreboot-v3