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