boards/platforms: add cpu_reset to nexys_video and some fixes around DDR3