clean bare metal support traces
authorDavid Marchand <david.marchand@redhat.com>
Mon, 12 Aug 2019 07:00:54 +0000 (09:00 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Mon, 21 Oct 2019 14:19:00 +0000 (16:19 +0200)
Bare metal support has been gone for quite some time but we still had
some checks on system includes.

Signed-off-by: David Marchand <david.marchand@redhat.com>
Acked-by: Thomas Monjalon <thomas@monjalon.net>

No differences found