Mike Looijmans fe1eb9945b board: topic-miami: Set FCLK1 to 150MHz %!s(int64=4) %!d(string=hai) anos
..
zynq fe1eb9945b board: topic-miami: Set FCLK1 to 150MHz %!s(int64=3) %!d(string=hai) anos