[coreboot-gerrit] Change in ...coreboot[master]: intel/945 boards: Use smp_write_pci_intsrc()