[coreboot-gerrit] Change in coreboot[master]: src/include/device: Add System Agent (SA) device ids