[Bug 382309] kernel-xen does not obsolete/provide kernel-xenpae