grilled tenderloins of pork with hoppin' johns, red peppe