Merge pull request #9279 from valeriosetti/reduce-psasim-ping-interval

psa_sim: make server ping time much faster