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

[Paul Menzel (Code Review)]

Paul Menzel 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 16:

(1 comment)

https://review.coreboot.org/#/c/30684/16/src/lib/imd.c 
File src/lib/imd.c:

https://review.coreboot.org/#/c/30684/16/src/lib/imd.c@401 
PS16, Line 401: 	imdr_init(&imd->sm, 0);
Please mention this additional fixes also in the commit message.