RE: New kernel in F12