genode/repos/base/lib/mk/spec/arm_64/startup.inc