I have been following the ADV5711 reference design for Zedboard HDMI (https://wiki.analog.com/resources/fpga/xilinx/kc705/adv7511). I built the HDL successfully on Vivado. But when I import the files on SDK, it says 'dmac_core.h' is missing in cf_hdmi.c (screenshot attached). I have followed the reference design to the letter. What could be wrong?