fixes for make headers_check

Signed-off-by: Andy Green <andy.green@linaro.org>
10 files changed