sys/reg.h already had it right as 32, to which it was explicitly changed when commit 664cd34192 derived x32 from x86_64. but the copy exposed in sys/user.h was missed.
664cd34192