hwlocality_intel_mic(3) on Linux

The text 22f5552ce7a8, as Debian 8 (Jessie) shipped it.

hwlocality_intel_mic(3) on Linux now