genode/os/lib/mk/exynos5/ahci.mk