1) Remove SSD 2) Boot to HDD 3) Re-install OpenCore onto HDD (including bless it) 4) shutdown and re-install SSD 5) select SSD from the boot picker 6) mount SSD EFI partition, remove that broken OpenCore.Linux (or any other secondary operating system) installation is only covered in brief as these notes will focus on preserving the Windows pre. These notes are meant to help you setup a dual-booting system with Linux on a computer running Windows 10 Professional with BitLocker Device Encryption, Modern Standby (a.k.a.The workaround implemented in OpenCore 0.6.4 is to avoid using the word Boot in the variable names. Due to a terrible mistake in the ASUS firmwares they may try to access this private list.