Re: [coreboot] option handling fixes