New kernel in F12