# CONFIG_SMP is not set