Windows isn't officially supported on Jetson, so it would seem doubtful that the functionality from these patches are also included in the Windows kernel, but in theory if someone were to port them (following the L4T sources and TX1 SoC Technical Reference Manual), it could be possible to boot it I suppose, with ...
