Patch kernel headers to avoid polluting userspace compilation with kernel types.