Symbol: XGE_HAL_PCI_BUS_FREQUENCY_133MHZ