# CONFIG_PTP_1588_CLOCK is not set