guard against the case that CONFIG_WAIT_BEFORE_CPUS_INIT is not defined at all.