libsel4bench: Use privileged HPM counter CSRs

This change is a work around for some Hifive boards which would freeze
when accessing user mode CSRs.

libsel4bench: Add event counter for riscv

Implement event counter, currently only supports sifive U540.

libsel4bench: Add support for RISC-V

Added initial support for RISC-V architecture.