[rwth-security] Re: Really fixing getrandom() [UPDATE]