Proprio perchè ho provato (non avevo ancora provato, pensavo che fosse la piattaforma ad'avere il bug, non pensavo proprio che fosse un problema di kernel...) e una volta provato le notifiche non funzionavano piu.
Ricordo che gmail utilizza le notifiche push, samsung email no, effettua controlli programmati ma non supporta il push service.