nios2: fix __get_user()