mrgs,
Just curious, is the output that you posted on the 23rd from the same ZedBoard as what you posted on the 27th? The reason why I ask, is that I noticed that the Xilinx image from the 23rd has 1594.16 BogoMIPS listed in /proc/cpuinfo, while the Linaro-Alip image from the 27th has 1332.01 BogoMIPS listed. My understanding is that the Zynq-7000 series CPUs come in three speed grades, which are listed below.
-1: 667 MHz
-2: 733 MHz
-3: 800 MHz
Based upon the BogoMIPS listed, I am assuming that the CPU is running at 800 MHz on the Xilinx image and 667 MHz on the Linaro-Alip image. Assuming that both of these images were running on the same Zedboard, I wonder if the XML board description file on the Xilinx image actually has the CPU speed grade set to -3, instead of -1? What is interesting, is that /proc/cpuinfo on my prototype board has 1332.01 BogoMIPS listed (meaning 667 MHz), but the output of the matmul-16 example lists it at 800 MHz.
EDIT: After reading through numerous posts on the ZedBoard forum (
http://www.zedboard.org/forums/zedboard-english-forum), it appears that the current Zedboards are shipping with ES (Engineering Sample) grade silicon, meaning that they are supposedly limited to speed grade -1 (667 MHz). The production version of the ZedBoards is expected to ship sometime during the first half of 2013 and will support higher clock speeds. Hopefully, the production version of the Zynq chips will be available this May, for use on the initial batch of Parallella boards.