[ARM] clearpage: provide our own clear_user_highpage()