Make key server pool configurable