[Bug 396810] Default kernel missing in boot menu, Xen kernel exists twice