Pork Tenderloin Grits