@matigo Yeah, some weird Intel quirk, apparently. Sucks to have a 64-bit capable machine limited artificially to 32-bit, but what can you do.
There aren’t many of the bigger name distributions still doing 32-bit, but quite a few enthusiast variants are still keeping the 32-bit flames fanned. PuppyLinux has been a very successful test on my old Kohjinsha laptop.