[coreboot-gerrit] [S] Change in coreboot[main]: tree: Change set_msip(int, int) to set_msip(uintptr_t, int)