[PATCH 1/3] src/cpu: add a basic RiscV64 cpu driver