[coreboot] Re: Printing u32 on 32-bit and 64-bit without cast