I suspect that with a scheduled docking at noon you'd be struggling to make a 1:05pm flight. But if you can find a way to get to Shenzhen then the onward travel to HKG airport is easy. See here for the options:
http://www.hongkongairport.com/eng/cbt/index.html

If you get to stay overnight in Shenzhen somewhere near the ferry pier then the ferry option might be the best since you can then go directly from china to airside at HK airport without having to go through HK immigration twice. You also are exempt from the HKG airport departure tax.

There is a ferry from Shenzhen Shekou at 07:45 which arrives at HKG airport at 08:15, which I believe is fine for a 09:00 flight - you actually check-in in Shenzhen before you depart.