Deal with the case where platform.processor() returns the empty string, which it is documented to do in some situations.
Deal with the case where platform.processor() returns the empty string,
which it is documented to do in some situations.

Use a list comprehension instead of an explicit loop in choose_modules_to_use

Rohde-Schwarz-Cybersecurity/botan,randombit/botan,Rohde-Schwarz-Cybersecurity/botan,webmaster128/botan,webmaster128/botan,randombit/botan,webmaster128/botan,Rohde-Schwarz-Cybersecurity/botan,randombit/botan,Rohde-Schwarz-Cybersecurity/botan,randombit/botan,randombit/botan,Rohde-Schwarz-Cybersecurity/botan,webmaster128/botan,Rohde-Schwarz-Cybersecurity/botan,webmaster128/botan