zynq-miami: Bring board support to an acceptable level

Add recipe to provide a reference FPGA design (fpga-image-miami) that
includes the HDMI and clock drivers. Requires Vivado 2014.1 to build.
Add recipe to provide the Xilinx SDK part (SDK export from Vivado needs
several manual adjustments to properly work).
Adapt my-image to use the Miami FPGA logic on zynq-miami boards.
Add 'quiet' to kernel commandline to reduce boot time and mute output.
Change kernel config, builds wifi/bt and various other as modules.