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@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. No objection from me, this looks correct. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html