The includes in here are ONLY FOR THE KERNEL

The kernel when put into flash can only know about itself. The outside calls must go through a table and use its own headers to access the kernel functions.

The kernel can also be built and included in a single build like a boot file. Then headers can be used by all since all code will be compiled at the same time.