ovhw/sdram_host_read.py: increment address size to use full SDRAM as buffer
ovhw/whacker/util.py: fix saturation
ovctl.py: de-configure SDRAM streaming, and use full SDRAM size