On Tue, Oct 31 2023 at 13:53, Mario Limonciello wrote: > Thank you for looking this over. I've reviewed it with the internal > team and confirmed there was a BIOS bug where the MSR wasn't restored > after the S3 cycle completed. The BIOS team has fixed it. Why am I not surprised? Thanks for the heads up! tglx