K 10
svn:author
V 4
mmel
K 8
svn:date
V 27
2016-10-06T13:18:18.640580Z
K 7
svn:log
V 100
ARM: SEV/WFE instructions are implemented starting from ARMv6K,
use it directly.

MFC after: 1 week

END