Fixed error when SMP is disabled in kernel config file