24d3ba0a7b44 ("ARM: 9324/1: fix get_user() broken with veneer")