Symbol: OPL_MAX_COREID_PER_BOARD