# CONFIG_PTP_1588_CLOCK_FC3W is not set
