どっかに出てたかもだけどK9でプッシュ通知来ない原因が一つわかったよ
グローバル設定のネットワーク->バックグラウンド設定を「常時利用」に
しないと同期が行われない機種があるみたい

PureAndroidのNexus5Xとかだと「自動同期がチェックされた時」でプッシュ
されてくるし、「常時利用」にするとなんか意味もなく同期動作しようと
してたけど、Huaweiとかだと「常時利用」にしないとプッシュどころか
定期実行のプルすら出来ないみたい

「常時利用」に設定しておけばDozeの除外とかしなくてもプッシュ動作は
するみたい