make: fix missing headers in dist

Change-Id: I259f2983d1e9446f3e29c74f44ae583a676ce81f
2 files changed