Daniel Carosone <dan@geek.com.au> wrote:

>> Okay, I tried it now. The first thing I noticed was very astonishing to
>> me - there was no filecheck necessary on startup!
> 
> Note that of course it's the *next* boot you need to worry about.

Sure. I didn't write this clearly, I see. I compiled the new kernel,
booted the system with it once and then I shut down, connected the
serial console and booted again. All messages in my last posting are
from this _second_ booting of the patched kernel.

And I booted the system again five minutes ago - no filechecking either!

Michael