little fix in axi_hdmi_encoder.c
added devicetree and linux config
more work on axi_hdmi