Android 4.x board support package for Xilinx Zynq boards