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

Matt Fleming
2013-02-14T07:37:59Z

On Wed, 2013-02-13 at 17:20 -0800, H. Peter Anvin wrote:
> On 02/13/2013 04:12 PM, Satoru Takeuchi wrote:
> > From: Satoru Takeuchi <takeuchi_satoru@jp.fujitsu.com>
> >
> > 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.

No objection from me, this looks correct.