Allora il problema mi affligge da tempo, sia prima con il Nexus S che ora con il Nexus 4. Ho chiesto qua e non mi hanno risposto, ho chiesto allo sviluppatore del Franco kernel che mi ha detto che il problema è noto ed è un problema di Android e che quelli di Google stanno provando a sistemare.
In realtà io credo che la verità sia nel mezzo, nel senso che questi kernel ottimizzati tentano di recuperare batteria andando in deep sleep a lungo e quindi si perdono spesso il push. Ho risolto installando PNF (push notification fixer) sul market, che non fixa un bel nulla, ma sincronizza il push ogni tot minuti, così se non arriva la notifica da sé arriverà così. E' personalizzabile, io ho impostato sotto Wifi ogni 2 minuti e sotto rete mobile ogni 5. Il problema delle push notification comunque dovrebbe essere soprattutto sotto Wifi.