UEFI efi_enabled for kernel < 3.4.32