Having this modification done for a while now, I even can confirm that if you boot into the non-xen environment, none of the xen modules are loaded.
Having this modification done for a while now, I even can confirm that if you boot into the non-xen environment, none of the xen modules are loaded.