[coreboot-gerrit] Change in coreboot[master]: lib/gnat/i-c.ads: Add `uintptr_t` type