Update kernel_headers