[coreboot-gerrit] [S] Change in coreboot[master]: (not tested)cpu/x86/{sipi_vector,smm}: Use uintptr_t

[Elyes Haouas (Code Review)]

Elyes Haouas has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/72378?usp=email )

Change subject: (not tested)cpu/x86/{sipi_vector,smm}: Use uintptr_t
......................................................................

Abandoned