Enabling Multi-core scheduler support
Multi-core scheduler support improves the CPU scheduler's decision making when dealing
with multi-core CPU chips at a cost of slightly increased overhead in some places.