[FIX] Fix Xilinx host interface header file generation

This fix is necessary to avoid C compiler warnings caused by the
generated host interface header file.

Change-Id: I41c71bd8566a2cdce4f41f18c3b982e14d9069f0