https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=256781
--- Comment #42 from Colin Percival <[email protected]> --- Ever since 4a432614f68cf35879dbb4ebef089f5b8db95334 (January 2022) we've been querying the 0x40000010 CPUID leaf which is set by EC2. Oddly Linux wasn't using that leaf last time I checked. -- You are receiving this mail because: You are the assignee for the bug.
