[coreboot-gerrit] New patch to review for coreboot: b28d09c rmodules: use rmodtool to create rmdoules