bench/riscv: enable configuration of benchmark options

Applies patch from #20. This was
not merged previously as RISC-V did not implement the hardware and
fault benchmarks, but this is no longer the case.

Signed-off-by: Alwin Joshy <[email protected]>

apps/sel4bench/CMakeLists.txt

@@ -39,6 +39,7 @@ if(
     (KernelArchX86 AND KernelExportPMCUser AND KernelX86DangerousMSR)
     OR (KernelArchARM AND KernelArmExportPMUUser)
     OR (KernelArchArmCortexA8 AND KernelDangerousCodeInjection)
+	OR (KernelArchRiscV)
 )
     set(DefaultBenchDeps TRUE)
 else()