reverted: Use generic idle thread allocation