# CONFIG_HVC_RISCV_SBI is not set
