[coreboot] [coreboot - Bug #537] (New) build failed with successfully built edk2 payload?!?