Thanks, this is all super useful!
Yes, they are on the same ticket, and most of the flights KA flights to KHH we've been on in the past required the bus interchange. She doesn't like to be rushed and will have full F lounge access in HK so I think we'll try to move one of the flights to give them more time.