Stir in the salt, pepper, and porcini mushrooms.