Xen-Kernel: fix default entry for latest installed kernel.