sleep time is doubled, xilinx_zynq_zedboard

[Giovanni Macciocu]

In my bspopt.h

/* ARM Cortex-A9 MPCore PERIPHCLK clock frequency in Hz */
#define BSP_ARM_A9MPCORE_PERIPHCLK 666666667U

This is the correct processor speed for my platform.
 
>>> Chris Johns <chrisj at rtems.org> 5/1/2014 10:24 AM >>> 
t you take a look at the BSPOPTS for the zync BSP. There are 
some clocks you can set and one of these may help. I think 
BSP_ARM_A9MPCORE_PERIPHCLK is the one.

Chris