# CONFIG_PTP_S390 is not set
