Re: [coreboot] Is it possible to flash coreboot with proprietary vendor tools?