This is xnu-8019. See this file in:
######################################################################
#BEGIN  Machine dependent Makefile fragment for arm
######################################################################

######################################################################
#END    Machine dependent Makefile fragment for arm
######################################################################