227a228
> self.intel_mp_table.add_entry(pci_dev4_inta);