[coreboot-gerrit] Change in ...coreboot[master]: amdfam10 boards: Use smp_write_pci_intsrc()