* Carlos Corbacho <carlos@strangeworlds.co.uk> wrote:

quoted text
> > * Ingo Molnar <mingo@elte.hu> wrote:
> > > * Len Brown <lenb@kernel.org> wrote:
> > > > Len Brown (6):
> > > >       ACPI: add newline to printk
> > > >       ACPI: build WMI on X86 only
> > > >       acer-wmi, tc1100-wmi: select ACPI_WMI
> > >
> > > hm, this new WMI code caused a bootup crash in the overnight x86.git
> > > tests:
> 
> I suspect this is a problem on systems without ACPI-WMI in the DSDT - though I 
> can't reproduce this here on my other box that lacks ACPI-WMI.
> 
> Ingo, can you try the patch below and see if this cures it?
> ---
> ACPI: WMI: Fix crash on WMI free systems

no, it does not help - see the attached .config and the crash.log. 

(triggered this crash after about 80 randconfig bootups, 7 of which had 
WMI enabled - so the chance for the crash is about 1:10 on a WMI enabled 
kernel.)

	Ingo