K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2015-02-08T23:04:32.220276Z
K 7
svn:log
V 56
MFC: r274054 (missed in r276076)

Fix XEN kernel build.

END