MN10300: Proper use of macros get_user() in the case of incremented pointers