ML-KEM: derive secret fix

[SparkiDev]

Description

Fixes for deriving secret for ML-KEM.

Testing

C and Intel ASM code.

Checklist

• added tests
• updated/added doxygen
• updated appropriate READMEs
• Updated manual and documentation

[devin-ai-integration]

🛟 Devin Lifeguard found 1 likely issues in this PR

• no-void-functions snippet snippet: Change the debug helpers to return an int (e.g., int print_polys(...) { … return 0; } and int print_data(...) { … return 0; }) and update any call-sites to handle the return value.

@SparkiDev
please take a look at the above issues which Devin flagged. Devin will not fix these issues automatically.

[SparkiDev]

retest this please

[lealem47]

Confirmed to fix decapsulation issue