Kernel now halts when there is no work