K 10 svn:author V 4 bapt K 8 svn:date V 27 2015-04-06T14:31:17.118098Z K 7 svn:log V 49 Rename xen into xen-kernel Requested by: roger@ END