Yes, with all the changes I described above, I can build all drivers without any errors. Of course, galcore will need another component added that will set the correct registry settings outside of the driver registry (so probably galcore will use defaults for now, hopefully those defaults are the right ones...).
I may just have to go back and install exactly the ADK/WDK/SDK versions described in the pdf...
However, the firmware part doesn't build at all. I don't think anyone has ever actually followed the instructions for that, because those instructions are all out of order and/or not working at all.
I've got an EEAP feedback active on the MS partner collaborate portal, so hopefully I will get some help there.
Oh, and I flashed the pre-built binaries to an SD card (as per the quick start guide). Windows 11 boots into UEFI but then the USB keyboard doesn't work (all on the iMX93 EVK that should work AS-IS), so also there I am totally stuck...