[Bug 225611] New: Cannot boot Xen kernel after installation