This is xnu-8019. See this file in:
# The System.kext plugin exists for all configuration.
# This export file is used when kcov runtime is disabled in kernel.