I booted my arch Linux Kernel straight from UEFI 9 years ago :)