[coreboot] SimNOW and SeaBIOS