# CONFIG_RISCV_SBI_CPUIDLE is not set
