genode/repos/base/mk/spec/exynos5.mk