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

# Inline assembly doesn't interact well with LTO
fbt_arm.o_CFLAGS_ADD += $(CFLAGS_NOLTO_FLAG)

kern_csr.o_INCFLAGS += -I$(SRCROOT)/osfmk
kern_debug.o_INCFLAGS += -I$(SRCROOT)/osfmk

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