stand/kboot/libkboot/arch/aarch64/start_arch.h stand/kboot/libkboot/arch/amd64/start_arch.h stand/kboot/libkboot/arch/powerpc64/start_arch.h
