HI again.
Well I have managed to get rc4 installed in UEFI mode, but it's not
a nice process :)
The Qubes iso seems to contain two menus for EFI booting, but the
Dell XPS15 won't display them at all, hence there is no possibility
to edit the boot line and add the modprobe.blacklist option at bootup.
There are two ways I've found to overcome this - in one, I edited the
Qubes iso file before writing it to a usb stick, and the other was by
following the Lenovo troubleshooting link,
https://www.qubes-os.org/doc/thinkpad-troubleshooting/
1. Binary edit the Qubes iso (I used gvim as plain vim could not
handle the temp file!?!).
Search for "i915.preliminary_hw_support=1" and REPLACE it with
the string "modprobe.blacklist=nouveau ". This MUST be exactly
the same length as the i915 string, so it add three spaces at its
end. ANY change in the length of the text line will damage the
iso and it definitely won't work.
This probably only needs to be done for the "qubes-verbose" menu
options, but I didn't check this, I just replaced all the repeats
of the string in the two menus. There is a third menu for GRUB
legacy, but I did not bother replacing them there.
Then write out the iso to usb, and reboot. Interrupt the Dell boot
screen with F2 and select the UEFI usb boot option. All should work
OK. (Qubes-check will fail because the iso has been edited, but
the check option only appears when legacy booting.)
2. Or, follow the Lenovo troubleshooting guide at the link above, and
create the usb and change the Label to BOOT and mount it. I could
not find the xen.cfg file, but there was a ".cfg" (can't remember
the name) that contained the bootup command lines. I replaced the
option "quiet" with the modprobe.blacklist=nouveau string. Length
of the string does not matter in this case. Save the file, unmount
the usb and try to boot from the it.
It didn't provide an UEFI boot option on my DELL, but I was able to
boot the "fallback boot on Anaconda" from my boot manager "refind".
You may not want to go to the trouble of installing that if you are
not multi-booting your laptop. In which case, you only have option
1.
Some of the problems with the Dell (apart from the nVidia device), are
that it seems to require that any EFI partition must have both the
correct partition type (EFI) and the specific EFI disk identifier,
otherwise its bios does not recognise an EFI boot partition.
Mike.