GRsecurity patch breaks Linux kernel image to boot from EFI