> The main issue with fixing it properly is that I'd most likely have to reverse engineer the Windows kernel or the UEFI firmware itself
Before doing such complicated things, have you tried with RU.EFI?
Before doing such complicated things, have you tried with RU.EFI?