Comment # 3 on bug 948722 from Michal Marek

We need to keep the obsoletes line, otherwise the last kernel-desktop package
would never get removed (the purge-kernels script treats flavors separately).
As a workaround on 13.1, you can either install the new kernel with rpm -i or
switch to kernel-default for the 13.1 kernels as well.