[coreboot-gerrit] New patch to review for coreboot: 1186d0d rmodtool: correct final memory size calculation