board-doubleshot.h: fix header for void __init doubleshot_microp_init(void);