buildman: Add the abbreviation for --boards