В ядро 3.7 добавят поддержку Altera SoC (который должен быть на Cyclone V FPGA). При этом доступность самих циклонов - 0. В тоже самое время Xilinx уже реально продаёт платку, но ядро у неё в своей отдельной ветке и они оправдываются, мол сложно/долго с апстримом договариваться. Это только у меня такая ассоциация Xilinx ~ nVidia, Altera ~ ATI/AMD?
Кто-то уже пробовал ZedBoard? Оказывается, её полноценный вариант даже в qemu уже есть (xilinx-zynq-a9) (странно, не могу найти анонса, когда именно добавили).