[coreboot-gerrit] Change in coreboot[master]: [RFC] arch/riscv/stdint.h: Check the size of (u)intptr_t