On Mon, 24 Oct, at 12:54:11PM, Laura Abbott wrote:
Was out for a few days, reporter says the below patch does not work.
There was some confusion with secure boot so I've asked them to re-test
with efi=old_map and secure boot off.
FYI, you may want to ask the reporter to try out Jiri's patch if this
is still an issue for them,