This is awesome news. Setting up a separate xen kernel for the host domain was always a pain in the butt.