K 10
svn:author
V 8
jchandra
K 8
svn:date
V 27
2010-08-31T04:18:47.553294Z
K 7
svn:log
V 85
Add the workaround for 4xx lite boards after it was lost in the last
board.c update.

END