update man for default kernels