kernel: Add support for pinned threads
kernel: Add support for disabling CPUs in scheduler