linux kernel headers (sanitized for use with musl)