On Wed, Jun 20, 2012 at 10:59 AM, Ulrich Drepper wrote: > On Wed, Jun 20, 2012 at 1:17 PM, Bjorn Helgaas wrote: > > I'd be willing to go with Yinghai's recommendation and give the BIOS > writers the benefit of a doubt that they get things right.  If they > prove to be incapable again we can still change the option handling to > overwrite the kernel setting regardless. good, please check updated patch with fix from you. Thanks Yinghai