Sanitized Linux Kernel Headers