default to 100MHz on Zedboard

Change-Id: I369bbad2f4903c7aea29f15fe805d65f06ef6162