Lower bounds for kernelizations