Efficient Graph Condensation via Gaussian Process