Fixes unused buflen in gen_matrix_entry #3365

Job	Run time
lint-markdown-link	31s
Examples (macos-latest)	8s
Quickcheck (aarch64)	1m 6s
Linting (ubuntu-latest)	1m 28s
Examples (ubuntu-latest)	7s
Quickcheck (x86_64)	51s
Quickcheck C90 (aarch64)	1m 4s
Quickcheck lib (macos-latest)	12s
Quickcheck C90 (x86_64)	50s
Quickcheck windows-latest	49s
Quickcheck lib (ubuntu-latest)	14s
CBMC (ML-KEM-768)	0s
CBMC (ML-KEM-512)	0s
CBMC (ML-KEM-1024)	0s
Functional tests (mac)	3m 21s
Functional tests (aarch64)	3m 0s
Compiler tests (aarch64)	2m 42s
Functional tests (x86_64, cross)	5m 9s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))	4m 26s
Compiler tests (x86_64)	2m 51s
Platform tests (${{ matrix.target.name }})	0s
Functional tests (riscv64, cross)	3m 39s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))	3m 19s
Functional tests (x86_64)	2m 49s
Functional tests (aarch64, cross)	3m 36s
Functional tests (aarch64_be, cross)	3m 5s
	45m 17s

Provide feedback