If ps7_post_config() is defined call it. It is enabling for example
level shifters for PL bitstreams.
Signed-off-by: NMichal Simek <michal.simek@xilinx.com>