Mini Leftover Turkey Pot Pies

Name: Mini Leftover Turkey Pot Pies
Prep time: 20 min
Cook time: 50 min
Total time: 1 h 10 min
Cuisine: American
Ingredients: 3 cups red potatoes, cut into 1-inch chunks (SEE NOTE); 4 cups leftover turkey, chopped into 1-inch chunks; 1 1/2 cups carrots, sliced into 1/2-inch pieces; 1 cup celery, sliced into 1/2-inch pieces; 1 heaping cup leeks, sliced thin; 3-5 cloves garlic, finely chopped; 3 sprigs fresh thyme; 1/2 tablespoon fresh rosemary, finely chopped; 1/3 cup fresh parsley; Zest of one lemon; 1 teaspoon herbs de provence; 1/2 teaspoon crushed red pepper flakes; 1 stick butter; 1/2 cup sherry wine (SEE NOTE); 3/4 cup all-purpose flour; 2 cups chicken stock or broth; 2 cups half and half; 1 bay leaf; 1/2 teaspoon onion powder; 1/2 teaspoon granulated garlic; Pinch of cayenne pepper; 1 tablespoon worcestershire; 1 cup frozen peas; 1 cup gruyere cheese, shredded (divided); 2 1/2 cups all-purpose flour; 1 teaspoon baking powder; 1 teaspoon fine sea salt; 1/2 teaspoon black pepper; 1 1/2 teaspoons herbs de provence; 16 tablespoons (2 sticks) cold unsalted butter, cubed