Remove outdated comments

All (known) kernels work now, so remove the comments.