[coreboot-gerrit] Patch set updated for coreboot: 2b6d0f4 rmodules: use rmodtool to create rmdoules