Separate names with a comma.
Are you sure you are not seeing some kind of leftover files for an old prototyping board? Also, there will be other shiny new things in the HW3...
How did you conclude it was an Exynos SoC? There is no Exynos SoC with the Cortex A72 core.