95f4d9cced96 ("riscv: delete temporary files")
e2c0cdfba7f6 ("RISC-V: User-facing API")