fix GRUB_CMDLINE_XEN parameter