And fixing this, is exactly what this 64-bit Tiano Core UEFI for the Raspberry Pi 3 is for. :-)

Yep, and being able to claim that U-boot can boot Windows (on x64 or Arm) would be a really strong statement around completeness. I hope someone gets to work on it soon (Alexander Graf ;-)?).