implement --with-system-coinmp

Change-Id: I02928097f049e8f3cbefbc872b570b2d2b072658