I certainly don't mind that, but I would expect complaints about this
unless the default boot option were 'n'.
Do you think it's worth sending as a separate trivial patch? Then if
people object to one both changes won't be held up.
(Anyway that's what I'll do right now)
-serge
--