Patric,
this one has me stumped. What you can try is to run "find
/boot/vmlinuz-2.6.23.17-88.fc7" from the grub shell, and see where
it shows each copy of the kernel.
Mikkel
--
Do not meddle in the affairs of dragons,
for thou art crunchy and taste good with Ketchup!