RE: [Fedora-xen] command line kernel parameters