Instant Pot Asian Pork Noodle Soup

Name: Instant Pot Asian Pork Noodle Soup
Ingredients: 2 teaspoons canola oil; 1 lb pork tenderloin (cut into bite sized pieces); 1 onion (chopped); 8 ounces mushrooms (button, sliced); 4 cups chicken stock; 2 cups kale (stems removed, coarsely chopped); 1 cup water; 2 tablespoons ginger (peeled and minced); 3 cloves garlic (minced); 1/4 teaspoon crushed red pepper flakes; 1/2 teaspoon black pepper; 6 ounces udon noodles (or whole wheat fettuccini or spaghetti); radishes (for garnish, optional); green onions (for garnish, optional)