add prctl to linux externals
add prctl to linux externals

trailofbits/mcsema,jcranmer/mcsema,chubbymaggie/mcsema,chubbymaggie/mcsema,jcranmer/mcsema,trailofbits/mcsema,alessandrogario/mcsema,jcranmer/mcsema,alessandrogario/mcsema,trailofbits/mcsema,alessandrogario/mcsema,jcranmer/mcsema,trailofbits/mcsema,alessandrogario/mcsema,chubbymaggie/mcsema,chubbymaggie/mcsema