K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2012-08-28T17:27:46.956451Z
K 7
svn:log
V 199
Make AT91_MCI_ALLOW_OVERCLOCK a real option.  Rename old use 30MHz to
this new option.  Only try to use > 25MHz when our best frequency is <
15MHz and overclocking is enabled. Fix minor style chaff.

END