[Bug 330235] Double Xen entries exist in the boot loader