genode/repos/base/lib/mk/x86_64/startup.mk