Re: kernel-xen f9 spec update