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

[Arthur Heymans (Code Review)]

Arthur Heymans 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:
> Patch Set 16:
>
> Is this still active? Or will be abandoned? Last comment 2/23/2019.

It still needs some work, but I haven't had time for it yet,