Re: [coreboot] "FILO setup OS" problem