Symbol: kvm_riscv_nacl_available