[PATCH 3/4] kernel: update config for riscv64