[PATCH] uml: remove verify_area_{tt,skas}