Add missing header files to sources directive

In order for make dist-gzip to work properly, all files needed
to build the system need to be listed. This patch adds the missing
header files to the sources directive.

Signed-off-by: Henrik Rydberg <rydberg@euromail.se>