[coreboot] Re: Programming BIOS with Flash Programming Tool from UEFI shell