# CONFIG_PPS_CLIENT_GPIO is not set
