change iso install kernel command line to be consistent with F19