K 10
svn:author
V 5
gonzo
K 8
svn:date
V 27
2012-11-27T06:39:32.807486Z
K 7
svn:log
V 183
Do not enable data cache until later in kernel init. Stale bits in
cache might cause erroneus behavior on early stage.

Submitted by:	Ian Lepore
Tested on:	Atmel, Marvell, and Eyxnos

END