ssh/Serializer: use PRNG instead of getrandom() for padding

ssh/Serializer: use PRNG instead of getrandom() for padding #288