[rwth-security] Removing the Linux /dev/random blocking pool