Proposal for adding kernel <-> xen dependency