Garlic Mash with Herb Roasted Pork