dmac_core header file missing for ADV5711 Zedboard reference design


 I have been following the ADV5711 reference design for Zedboard HDMI ( 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?