Unable to determine smf board id for board 'tech_debian'