Symbol: kvm_riscv_nacl_sync_csr_available