check-abi: explicitly provide public headers

[jonasnick]

Without this commit, the check-abi shell script outputs false positives because it consider some headers public that are actually not public.

[real-or-random]

cc @hebasto