[PATCH 11/12] efi: Add an efi= kernel command line parameter

[Borislav Petkov]

On Mon, Oct 28, 2013 at 11:02:13AM +0000, Matt Fleming wrote:
> This patch should be part of PATCH 12.

I wanted it to be separate as it adds an unrelated functionality but I
don't really care all that much - I'll merge it.

-- 
Regards/Gruss,
    Boris.

Sent from a fat crate under my desk. Formatting is fine.
--