Symbol: PCIEHPC_PROP_BOARD_TYPE