Adding a non serialising kernel scheduler which ensures implicit
serialisation due to resoruce management does not happer for a group of
kernels.