Regularization of kernels for estimation of the Wigner spectrum of Gaussian stochastic processes