Re: [coreboot] Shortened in types (u32) vs stdint types (uint32_t)