CTP6 FPGA microblaze spec files
Add HW + FE BSP.  We need some other options in Xilinx to get the linux based BSP for the backend.