A note on computing the distribution of the norm of Hilbert space valued Gaussian random variables