Support for OCP TimeCard driver

We would like to add OCP TimeCard driver as a part of kmods for CentOS Stream. The driver supports different hardware implementations and also has some dependencies based on the hardware. The driver itself can be enabled via CONFIG_PTP_1588_CLOCK_OCP=m, but it needs some hard dependencies:

CONFIG_NET_DEVLINK=y
CONFIG_CRC16=y
CONFIG_DPLL=y

The next dependencies are for the driver to be able to read HW serial numbers and board-specific configurations:

CONFIG_I2C_OCORES=m
CONFIG_I2C_XILINX=m

And there are 4 more dependencies to be able to upgrade the firmware via devlink:

CONFIG_SPI_ALTERA=y
CONFIG_SPI_ALTERA_CORE=y
CONFIG_SPI_BITBANG=m
CONFIG_SPI_XILINX=m