ixp4xx_eth: make ptp support a platform driver