Re: [opensuse-kernel] Re: [PATCH] config: arm: Set CONFIG_PPS_CLIENT_GPIO=m to use GPS with PPS line connected to a GPIO, as a high-precision time reference