Add forgotten kernel headers (not important, but makes it easier to keep track).