Comment 2 for bug 1768663

Revision history for this message
dann frazier (dannf) wrote :

I'm unable to explicitly verify this, as we don't have any systems that support SDEI - and if we did, they'd probably boot in ACPI mode. I have booted the updated kernel on an arm64 system though, and observed no regressions.