Raspbian (http://archive.raspbian.org/raspbian/pool/main/l/linux-4.9/ ) have EFI stub enabled on their kernels.
Raspbian (http:// archive. raspbian. org/raspbian/ pool/main/ l/linux- 4.9/ ) have EFI stub enabled on their kernels.