Re: [PATCH v2 25/28] buildman: Add an option to ignore device-tree warnings