zynq-miami: Upgrade to 3.14 kernel

Only upgrade for the zynq-miami machines. Others need some adjustments,
see also the "vivado" branch of this repo.