[PATCH v4] ARM: add get_user() support for 8 byte types