This is xnu-8019. See this file in:
Directory listing for xnu-8019//pexpert/gen
bootargs.c
device_tree.c
kcformat.c
pe_gen.c