[coreboot-gerrit] Change in ...coreboot[master]: Use uintptr_t instead of (void *) where it makes sense

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/30684 )

Change subject: Use uintptr_t instead of (void *) where it makes sense
......................................................................

Patch Set 12:

(2 comments)

https://review.coreboot.org/#/c/30684/12/src/drivers/intel/fsp1_1/ramstage.c 
File src/drivers/intel/fsp1_1/ramstage.c:

https://review.coreboot.org/#/c/30684/12/src/drivers/intel/fsp1_1/ramstage.c... 
PS12, Line 43: 	printk(BIOS_SPEW, "SMRAM       : 0x%08x 0x%zx\n", (unsigned int)base, size);
line over 80 characters

https://review.coreboot.org/#/c/30684/12/src/drivers/intel/fsp1_1/ramstage.c... 
PS12, Line 48: 		printk(BIOS_SPEW, " Subregion %d: 0x%08x 0x%zx\n", i, (unsigned int)base, size);
line over 80 characters