[coreboot] [PATCH] change ipchksum parameter types