* since PyNQ does not have a board definition file, DDR and general PS
  parameters (e.g., APU freq) have to be set manually
* overridden createZynqPS in pynq.tcl takes care of that and also
  replaces the missing board automation for DDR, FIXED_IO