Use lifts.. Can be there in 3-4 minutes tops.. a slower pace..

Now the bus... tonight I was about 7 minutes waiting to go.. then 5 across as it has to wait for moving aircraft... close to :15 total.. and I'd say that's a fast time.

For a stress free trip, especially if HKIA isn't your home port, give yourself :30 till departure.. by the time you reach DragonIsland, boarding will be well underway.