DEFAULT_BOARD_JSON does not exist in the source code of this macro, but it has already appeared in the patch