[Cooker] new kernel

[Vincent Meyer]

Hi, 

        New kernel is running fine here... is it me, or does it seem to come up 
faster than the previous kernel did?

        V.