[PATCH 1/7] Update kernel headers