>>> On 10.10.11 at 08:45, Ingo Molnar <mingo@elte.hu> wrote: > * Matt Fleming <matt@console-pimps.org> wrote: >> Ping? It's -rc8 and 32-bit EFI machines still don't boot. > > Don't know the status of this - Thomas?
This went into 3.1-rc9 (with your signed-off being last).