So I followed this guide exactly.
But when I reach the step of booting into the windows iso I get stuck in UEFI Shell and not being able to boot to Windows 10 installation. I tried different Windows 10 iso files but no luck.
The boot order is correct, so it isn't the issue. The host OS is Debian Stretch.