Fried Garlic Mashed Potatoes with Mushroom Picadillo Gravy

Name: Fried Garlic Mashed Potatoes with Mushroom Picadillo Gravy
Ingredients: Fried garlic mashed potatoes; 4 pounds Yukon Gold potatoes, skins pricked with fork; 4 cups whole milk; 2 sticks unsalted butter; 2 teaspoons black peppercorns, lightly crushed; 2 fresh bay leaves; 2 heads garlic, 1 cut half crosswise and 1 head separated into cloves, peeled, and thinly sliced crosswise; coarse kosher salt; neutral cooking oil; Mushroom picadillo gravy; 8 ounces portobello mushrooms; 4 tablespoons butter; ¼ yellow onion, peeled and finely diced; 1 carrot, finely diced; ¼ tsp red pepper flake; 2 teaspoons flour; 1 8-oz can tomato sauce; 1 tablespoon soy sauce; 1 teaspoon maple syrup; 3 tablespoons raisins; ⅓ cups frozen green peas; ¼ cups pitted green olives, diced; coarse kosher salt and ground black pepper