# CONFIG_PTP_NETC_V4_TIMER is not set
