Since I have the data in front of me (across 3 separate Exynos 4+4 A7+A15 big.LITTLE configurations), the ratio of area between A7s and A15s varies a lot. 1/6th was true for just one of those Exynos chips.
EDIT: I said 4 chips before, it's really just 3. One of them is A57+A53 (5433).
EDIT: I said 4 chips before, it's really just 3. One of them is A57+A53 (5433).