La solución más fácil al bug del exynos es instalarse el siyah kernel al menos para mi. En su Web oficial pone lo que tu dices parche contra bug temporal hasta que Samsung lo solucione. Personalmente siyah me parece de fiar y nunca me ha causado problemas.