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