[PATCH rtems master] Fix zedboard clock settings

From: Bernd Moessner There has been a discussion on this quite some time ago here: https://rtems-devel.rtems.narkive.com/EoIm4krA/sleep-time-is-doubled-xilinx-zynq-zedboard However, the issue has never been fixed. As outlined in the discussion, this must be f_cpu / 2. Thus as long as the board

[PATCH rtems master] Fix zedboard clock settings

From: Bernd Moessner There has been a discussion on this quite some time ago here: https://rtems-devel.rtems.narkive.com/EoIm4krA/sleep-time-is-doubled-xilinx-zynq-zedboard However, the issue has never been fixed. As outlined in the discussion, this must be f_cpu / 2. Thus as long as the board