K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-01-23T07:27:38.236939Z
K 7
svn:log
V 74
Don't build the kernel with Thumb interworking as we don't support Thumb.

END