GARLIC MASHED POTATOES (IRISH)