Hello!
Thanks for your post.
However I tried this on my Dell XPS 13, but it did not work out as expected.
I followed the steps and now I can start Windows 10, but it starts only every third...