# CONFIG_PPS_CLIENT_KTIMER is not set