x86[_64]: Fix style issues
kernel: Add O(1) lookup and insertion priority queue
kernel: Use the new runqueue in non-MP scheduler
kernel: Allow scheduler initialization to fail