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