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.
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.