The hardcoded value 0xFFFFFFFF restricted the idle process to the first 32 processors on 64-bit system.