On Thu, 23 Oct 2025 09:59:35 -0400, Yazen Ghannam wrote:
> Thanks Michal.
> 
> I don't see anything obviously wrong.

Which code is responsible for setting up those bitmaps which
are counted by topology_init_possible_cpus()?

I guess I could add some printks there and reboot.

> Can you please share your kernel config file for the v6.12.31 build?

Attached.

BTW, I forgot to mention that I have a second seemingly identical
board with same BIOS running Phenom X6 1090T. It is not affected.
Not sure if this is helpful. I haven't tried swapping CPUs.