Hello,

> the kernel was built using the *same* conf file, I didn't even
> reconfigure. Thus I really think something in the kernel is flakey and
> sensible to optimizations, apparently my experiences are different from
> othes. I haven't dare to try a -O0 kernel yet to see if it is 100%
> reliable.

I have built a -O0 kernel: I didn't even get a login prompt, it failed
earlier...

it seems that mchk failures can be disk related.

now I have compiled a -O2 version and it is running ...

-R