riscv32: add arch headers