In building the image for a second stage boot loader with hex55, I presume I would set up the PLL using the on-chip boot loader's register configuration feature. To do this I presume I would translate a section of the .gel file I have for the board to a series of -reg_config options for hex55. Does that all make sense and does anyone have examples of this already done?