Fix x86_64 register names in <sys/user.h>.

Change-Id: Ieb327247a41f6195589716170e324d1cd1251b96
1 file changed