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