[PATCH 1/2] Resync header files with kernel