I describe the relevant UEFI option in https://michael.stapelberg.ch/posts/2021-07-10-linux-25gbit-... :)