Re: [coreboot] [PATCH] change ipchksum parameter types