Lower bounds on kernelization