[coreboot-gerrit] Patch set updated for coreboot: 12c5e4a rmodtool: Allow rmodules with 0 relocations