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