clean up the port file for a single sane ARM linux target