[coreboot] Patch merged into coreboot/master: e876418 cbfstool: Add support for 64bit UEFI