RISC-V support is missing

[stlankes]

with #277 exists already an initial RISC-V support. It must be rebased to the current version of the kernel and extended to a full running RISC-V kernel.