[U-Boot] [PATCH v4 09/13] buildman: Add an option to specify the buildman config file