Re: [coreboot] MS-6147, SeaBIOS, and OpenBSD.