Re: [PATCH] efi: Clear EFI_RUNTIME_SERVICES rather than EFI_BOOTby "noefi" boot parameter

[H. Peter Anvin]

On 02/13/2013 04:12 PM, Satoru Takeuchi wrote:
> From: Satoru Takeuchi <takeuchi_satoru@xxxxxxxxxxxxxx>
> 
> There was a serious problem in samsung-laptop that its platform driver is
> designed to run under BIOS and running under EFI can cause the machine to
> become bricked or can cause Machine Check Exceptions.
> 

Matt, unless you object I'll pick this one up as urgent, please take the
cleanup patch in normal order.

	-hpa


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/