> you highlight the install option in the installer boot menu and
> press E to edit. Repeat the change as above, but add it to the end of
> the line starting with “linux”. Press F10 to boot.

Thank you very much. I am looking forward to trying this.

--
My e-mail is unreliable.
Please try again if no reply in several days.

gpg: F7C9 B577 1E5D C732 63F1 A9D2 A399 D202 50E8 50D1