use CONFIG_RISCV_ISA_RV64I to set CONFIG_64BIT. Signed-off-by: Fin Maaß <f.maass@vogl-electronic.com>
CONFIG_RISCV_GP_PURPOSE