original_kernel/lib/mpi/Makefile