Fix kernel headers

Change-Id: Idb4a2a234054a8c799f69a5fb1ae1a766754b59d