APIC_MPS_PROD_ID_LEN
char prod_id[APIC_MPS_PROD_ID_LEN + 1]; /* MAX + 1 for NULL */
char mpcnf_prod_str[APIC_MPS_PROD_ID_LEN];