K 10
svn:author
V 4
loos
K 8
svn:date
V 27
2015-05-04T20:59:23.079265Z
K 7
svn:log
V 191
In preparation for the next cycle of official ARM images, add ARM_NEW_PMAP
to supported kernels.

This is a temporary solution and should be reverted when ARM_NEW_PMAP is
enabled by default.

END