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