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