Add kernel headers for kernels which require the headers.

Change-Id: Ib684e207d5b590b634725d256041bc893f12bd84