I've cruised many times, including the Disney Magic. I always found it easy and convenient to board as early as possible. Especially Disney, The ship is empty at such an early time. I suggest getting there early(11:00-12:00), boarding and enjoying the ship as empty as possible.