Fwd: question about state of F11 kernel