[coreboot] 64 UEFI payload boot fail on Denverton platform but 32 UEFI payload works