This is wrong. This is about X32, not 32-bit x86.