board-doubleshot.c update machine name for MACHINE section