Re: how to patch a kernel using fedora-ksplice