Re: [PATCH v4 05/11] tools: riscv: Add header file vdso/processor.h