added missing config for 'portal', 'ion' on zynq
force fclk1 to 166.6MHz at boot time (needed for HDMI tests)