config: remove obsolete machine descriptions
[dpdk.git] / .gitignore