The parking lot lines are usually gone by Noon, but there will be a line in the terminal to get through check-in and security. Plan on it taking 30-45 minutes to actually board the ship after you park is my rough estimate.
So, if you arrive at 12:30 I would say given my experience you will be walking onto the ship right around 1, 1:15.