Comment by bjackman

Nice!

I am skeptical that the UEFI drivers would be up to the job. I worked on EDK2 drivers many many years ago and things were not really optimised for speed. Mostly we just did the simplest thing that would boot Linux without any unnecessary delays.

Plus they are very often gonna be buggy and there's not much you can do about buggy UEFI FW.