[coreboot] SeaBIOS + SATA