> > So what could go wrong here in terms of setting the baudrate for the serial > uart > (which "presumably" causes printing 3 good characters and then garbage > during kernel booting) ? >
If you can get your hands on an oscilloscope and look at the TxD from your board, you can get an exact measurement of your baudrate and make sure you are on the right track. (Baudrate = 1/shortest-high-or-low-time) Mark Chambers