kernel: remove unused ProdVecFFEMatFFE#3203

fingolfin merged 1 commit intogap-system:mastergap-system/gap:masterfrom

fingolfin:mh/ProdVecFFEMatFFEfingolfin/gap:mh/ProdVecFFEMatFFECopy head branch name to clipboard