Instant Pot Pork Tenderloin

Name: Instant Pot Pork Tenderloin
Ingredients: 2 teaspoons light brown sugar; 1 ½ teaspoons kosher salt, plus more to taste; ½ teaspoon black pepper; ½ teaspoon paprika; ½ teaspoon chili powder; ½ teaspoon onion powder; ¼ teaspoon cayenne pepper; 1 (1 1/2-pound) pork tenderloin, trimmed of excess fat and silver skin and patted dry; 2 tablespoons olive oil; 1 tablespoon minced garlic (from 3 garlic cloves); 1 ½ cups chicken stock; 1 pound, 4 ounces baby gold potatoes, halved; 2 tablespoons unsalted butter, cubed; 2 (6-ounce) bunches curly kale, stemmed and chopped (8 cups)