[PATCH 4.4 56/75] ARM: use __inttype() in get_user()