K 10
svn:author
V 4
gber
K 8
svn:date
V 27
2012-01-31T15:39:06.558766Z
K 7
svn:log
V 172
armv7: Fix TTB setup, little cleanup

When TTB is written to CP15 register, proper memory model must be set.

Submitted by: Lukasz Plachno
Obtained from: Marvell, Semihalf

END