An easy peasy individual serving of whipped potatoes.