mk: require SSE4.2 support on all x86 platforms
[dpdk.git] / devtools / load-devel-config
2017-01-04 Thomas Monjalonscripts: move to devtools