Re: Proposal for adding kernel <-> xen dependency