K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2016-06-29T14:40:43.952823Z
K 7
svn:log
V 287
Do not rely on firmware having pre-enabled the MMU in a reasonable way for
late boot: enable it explicitly after installing the page tables. If booting
from an FDT, also make sure to escape the firmware's MMU context early
before overwriting firmware page tables.

Approved by:	re (gjb)

END