fix x86_64 user.h (previously was just a copy of i386)
[musl] / src / internal / arm /
2011-09-18 Rich Felkerinitial commit of the arm port