[coreboot-gerrit] Patch merged into coreboot/master: crossgcc: rename source file names from empty/* to gcc-5.2.0/* in riscv patches