Re: [PATCH v2 22/28] buildman: Add the abbreviation for --boards