bug or feature (default kernel kind)

[Christoph Höger]

hi,

after removing my test-xen-kernel, kernel updates behaved strangely. 
Whenever there was a new kernel the old one was selected as boot-default.
After some hints I took a look at /etc/sysconfig/kernel where the line
UPDATEDEFAULT=yes
looked perfectly normal. But
DEFAULTKERNEL=kernel-xen
was strange (and propably the source of the misbehavior).

Shouldn't that line get reset, when the last xen-kernel gets removed?

regards

christoph