Support XmpVersion 14.3 and 14.4
fixed calculation of number of bits in a bitset
Use FCLK_CLK1 for HDMI clk so it will also work on zedboard
documented that unpartitioned SD cards do not work with Xilinx bootloader
updated echo example