BLESS THIS MESS
Select browning/saute to preheat the pressure cooker. Add the butter and onion and saute until tender. Add the garlic and cook until the garlic is fragrant, about 30 seconds.
Stir in the chicken stock, broccoli, carrots, salt, pepper, and red pepper flakes. Lock the lid in place, make sure the vent is set to seal, and select high pressure and 1 minute cook time.
When the cooking time ends, use the quick pressure release. When the valve drops, remove the lid carefully. In a small bowl whisk together the corn starch and cold water until smooth.
Set the pressure cook to saute/browning and slowly add the corn starch mixture to the pot. Stir constantly until the soup comes to a boil and thickens.
Turn off the pressure cooker. Slowly stir in the cream or half-and-half. Add the cheese a handful at a time and stir until it melts.