[coreboot-gerrit] Patch merged into coreboot/master: e6ede46 rush: Add ec_dummy file to enable vboot compilation