K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-09-03T10:11:12.476047Z
K 7
svn:log
V 342
Switch to an empty ttbr0 pagetable when the MMU is enabled

We don't need these pagetables after the early boot. Remove the chance we
write to memory we didn't expect to and remove architectural undefined
behaviour.

Reviewed by:	alc (earlier version), mmel
Sponsored by:	Innovate UK
Differential Revision:	https://reviews.freebsd.org/D22606

END