Bill Davidsen <davidsen <at> tmr.com> writes:
No, all is not well, you could have just changed the value of the
"default=" line to boot what you want and preserve the ability to run a
xen kernel if you find later you need to. You jumped to the brute force
solution just 13 minutes after asking the question.
Why should he keep the Xen kernels installed if he doesn't need them? He can
always reinstall them later when/if he actually needs them.
Kevin Kofler