Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels