En realidad si funcionan, yo tengo varios foros , xda, esp desarrolladores, htcmania, grupo android, etc, cuando elegis un foro y si ya estas logeado, anda a AJUSTES y ahi tenes las opciones de notificaciones push, tenes para elegir MP, quote, reply, etc, lo malo es que no te da opcion de elegir el sonido, usa el predeterminado de los SMS. pero funcionan...te lo digo porque un compañero de este foro, apodado, "ametralladora" Aj 7, cuando me escribe, me llegan tooooooooodas las notificaciones, que llegue al punto de desactivarlas
abrazo