[coreboot-gerrit] Patch set updated for coreboot: 1e3a861 ARM: Don't inject nobits since we actually want to load these bits