RESET_GET_BOARD_ID
(int) RESET_GET_BOARD_ID(val),
if (RESET_GET_BOARD_ID(val) != BOARD_ID_LANAI256) {
"Lanai 25.6\n", name, (int) RESET_GET_BOARD_ID(val));