Comment 2 for bug 1176159

Ah, I probably confused that with the mechanism used to find dom0 usable kernel. In the end this does not need to be overly clever at all. I suppose it should be enough just to sort kernels by version and name. Preferring the ec2 kernel name if there are multiple kernels with the same version. That way, as long as there is one, it will end up in position 0.