x86, 32-bit: also limit NODES_HIGH_SHIFT here