[PATCH] kernel: Enable EFI on aarch64