Switch from 50MHz osc to 12MHz FTDI clock input

This adds a DCM to double the clock to 24MHz first, since the PLL
minimum input frequency is 19MHz.