Linux Kernel 3.10 question.

Linux Kernel 3.10 has been released and no officially supports ARM big.LITTLE

If/When Samsung updates the kernel on their Galaxy S4 running Exynos 5410 will there be a lot of battery/performance improvements?