[coreboot-gerrit] Patch set updated for coreboot: 124a2a3 Copy u-boot sources as is and modify the tree to still build