# CONFIG_RISCV_BOOT_SPINWAIT is not set
