[Bug] Can't boot on Microsoft Surface devices

I believe one part of the problem is this issue:

And then a second part is the latest kernel, which doesn’t seem to work well with MS Surface devices (at least the one I had recently some experience with). For that, please file a bug in Bugzilla.