[PATCH 45/50] kernel: Add a basic configuration for riscv64