Re: [U-Boot] [PATCH] net: Make sure IPaddr_t is 32 bits in size