linux-zen-server/arch/x86/purgatory/setup-x86_64.o