Thanks, quite interesting:

    # Check for remaining bad file names
    BADFILES=`find . \( -name "*.arm*" -o -name "arm*" \) | xargs echo`;
    ...
    # Check for remaining bad file contents
    if grep -iEr '([^UD_]_?_OPEN_SOURCE_|XNU_HIDE_SEED|XNU_HIDE_HARDWARE|CONFIG_EMBEDDED)' .; then