fix x86_64 user.h (previously was just a copy of i386)