[PATCH 09/19] buildman: Split out Boards into its own file