[PATCH v4 12/13] buildman: Allow adjusting board config on the fly