20260506-fixes #6423

Job	Run time
build library (--disable-asm --enable-mlkem --enable-lms --enable-xmss --enable-mldsa)	36s
build library (--enable-intelasm --enable-sp-asm)	40s
build library (--disable-asm)	32s
build library (--enable-intelasm --enable-sp-asm --enable-all-crypto --enable-mlkem --enable-lms ...	53s
build library (--enable-intelasm --enable-sp-asm --enable-mlkem --enable-lms --enable-xmss --enab...	40s
build library (--disable-asm --enable-all-crypto --enable-mlkem --enable-lms --enable-xmss --enab...	58s
	4m 19s

Provide feedback