Re: [coreboot] openbios in config?