[coreboot-gerrit] Patch set updated for coreboot: 94e8afd rmodules: use rmodtool to create rmodules