There's a bunch of code in imx6_board.c (timer frequency setting, gpio setting, etc.) that seems like it should be rendered obsolete by the conversion of that port to FDT. Can someone in the know please take a look and comment? Thx. -- thorpej