On Tue, 26 Jul, at 07:33:56AM, Prarit Bhargava wrote: > > I was ping'd by a Dell engineer who says that Dell is taking a look at this. > Most likely a BIOS fix will be released. > > ... I think that means I should drop the issue :) It would be valuable if they could still provide details on the issue though. Not everyone will upgrade their BIOS and it would be nice to have things work out of the box for those machines currently sat on shelves in warehouses, i.e. where a fixed BIOS cannot be installed before the user receives it. Feel free to pull whoever pinged you into this thread. -- 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