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