diff --git a/troubleshooting/uefi-troubleshooting.md b/troubleshooting/uefi-troubleshooting.md
index 8c4a0e34..3a10d39f 100644
--- a/troubleshooting/uefi-troubleshooting.md
+++ b/troubleshooting/uefi-troubleshooting.md
@@ -73,3 +73,15 @@ Some Dell systems and probably others have [another bug in UEFI firmware](http:/
 
 * * *
 <b name="f1">1</b> If you use rEFInd, you can see 3 options regarding the USB installer. Choose "Fallback Boot Loader" to enter the GRUB menu. [↩](#a1-1) [↩](#a1-2)
+
+
+Boot device not recognized after installing
+------------------------------------------
+
+Some firmware will not recognize the default Qubes EFI configuration. As such,
+it will have to be manually edited to be bootable (this will need to be done after
+every kernel and Xen update.)
+
+1. Copy /boot/efi/EFI/qubes/ to /boot/efi/EFI/BOOT/
+2. Rename /boot/efi/EFI/BOOT/xen.efi to /boot/efi/EFI/BOOT/BOOTX64.efi
+3. Rename /boot/efi/EFI/BOOT/xen.cfg to /boot/efi/EFI/BOOT/BOOTX64.cfg