# CONFIG_PCH_PTP is not set
