On Mon, 11 Feb 2019 at 08:12, Ingo Molnar <mingo@xxxxxxxxxx> wrote: > > > * Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > > > The reason I did not spot this is because I failed to realise that the > > x86 defconfig does not enable CONFIG_ACPI_BGRT, and so the automated > > boot tests I did never invoked this code path. > > Could you please send a patch that updates the x86 defconfig to add this > (and any other) kernel options you rely on in your automated testing? > > 'defconfig' is meant to be useful for generic whitebox PC testing, which > your usage certain is. > Good point. Patch incoming.