- Fix some bugs in Kernel Queue implementation: