to be able to address the last 32 bits. On a machine with 80 CPUs, this caused "cpuctl identify >64" to return garbage.