[coreboot] "FILO setup OS" problem