genode/base/lib/mk/platform.mk