To ensure that the driver is included in the kernel image, make sure to enable Xilinx Secure Configuration nvmem firmware support in the Kernel configuration. This configuration is available under :
Device Drivers---> NVMEM Support---> <*>Xilinx Secure Configuration nvmem firmware support