zynq-*-adv7511.dts: Give the axi-hdmi interface a label

Allows designs that use a different configuration the possibility
to patch the node with their own.