Fix the riscv-linux-headers port