[Fedora-xen] how to get non-compressed vmlinux for Oprofile