Re: [PATCH 12/20] binman: Add a bintool for fdtgrep