Re: [PATCH 10/10] ch_driver: Turn on the domainOpenConsole API