board-doubleshot.c: fix MACHINE_START