Sempre verde il Samsung Galaxy S10, è già patch di luglio