kernel: Remove support for thread_queue
kernel: Remove invoke_scheduler_if_idle