On Mon, 19 May, at 09:09:58AM, Francis Moreau wrote:> > I don't know, I can't really afford to configure/compile/test this new> kernel, sorry.It would be useful to know whether this issue still occurs when bootingwith the efi=old_map kernel parameter.-- Matt Fleming, Intel Open Source Technology Center