Instant Pot Chili Mac

Name: Instant Pot Chili Mac
Ingredients: 1 tablespoon olive oil; 1 pound 93/7 lean ground beef; 1/4 medium-size (about 9 oz.) yellow onion, chopped (about 1 1/2 cups); 2 large cloves garlic, minced (about 1 Tbsp.); 4 cups lower-sodium chicken broth; 1 (14.5-oz.) can fire-roasted diced tomatoes, undrained; 1 (15-oz.) can kidney beans, drained and rinsed; 2 teaspoons kosher salt; 2 teaspoons chili powder; 1 1/2 teaspoons ground cumin; 10 ounces uncooked elbow macaroni (about 2 cups); 8 ounces Cheddar cheese, shredded (about 2 cups), plus more for serving