K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2014-11-03T16:31:31.255050Z
K 7
svn:log
V 42
Fix XEN kernel build.

Pointy hat to:	jhb

END