===> Cleaning for xentools3-hvm-3.1.4nb7