K 10
svn:author
V 4
skra
K 8
svn:date
V 27
2015-12-15T13:17:40.338013Z
K 7
svn:log
V 456
Flush intermediate TLB cache when L2 page table is unlinked.

This fixes an issue observed on Cortex A7 (RPi2) and on Cortex A15
(Jetson TK1) causing various memory corruptions. It turned out that
even L2 page table with no valid mapping might be a subject of such
caching.

Note that not all platforms have intermediate TLB caching implemented.
An open question is if this fix is sufficient for all platforms with
this feature.

Approved by:	kib (mentor)

END