[coreboot-gerrit] Patch merged into coreboot/master: a742ef1 rmodules: Make rmodules inclusion for vboot dependent on romstage_arch