HP envy UEFI boot workaround

[eliott.te...@gmail.com]

Hi all,

I recently succeed at installing qubes on my new HP envy (HCL report soon in a new thread ;) ), unfortunately I had to use the "Boot device not recognized after installing" workaround to make the system boot.
But now I want to use the qubes usb functions, the problem is that `qubesctl state.highstate` is looking for the configuration file in the old `qubes` directory (renamed to `BOOT` as per the workaround), so as a normal Unix user I go into `/boot/efi/EFI` and try to do a symbolic link... which fail (filesystem uses vfat which does not support links).

Did I miss something? Any workaround?

Thanks.