Tiny ARM/FPGA Zynq COM does Debian