[coreboot-gerrit] Patch merged into coreboot/master: 1e3a861 ARM: Don't inject nobits since we actually want to load these bits