x86: fix IBM Summit based systems' phys_cpu_present_map on 32-bit kernels