[added to the 4.1 stable tree] x86/asm/32: Make sync_core() handle missing CPUID on all 32-bit kernels