Portuguese Punched Potatoes, Garlic, Rosemary