xen, how to boot a 2.4 kernel distro in FC4