[PATCH 22/22] buildman: Add an option to ignore device-tree warnings