remove obsolete file: src/arch/i386/prefix/int19exit.c