Symbol: IPMI_PICMG_ID