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