have ThreadedKernel running PriorityTest. Priority Queue is working with StaticPriorityScheduler