Just checked the kernel config again and realized that no Multicore Scheduler Support is in use. Is there a specific reason for this?