It's moved. Menu > notification settings > push (at the bottom) > tone.
go back into notification settings and scroll to the bottom of the page where it shows "where you receive notification" options. Select "push". Option to change sound is in there on the latest android version