[PATCH 1/2] Update kernel headers