config KEXEC_TOOLS_TARGET_NAME
string
prompt "Target name for kexec kernel" if PACKAGE_kexec-tools
default EXTRA_TARGET_ARCH_NAME if TARGET_ps3
default ARCH
help
Defines the target type of the kernels that kexec deals
with. This should be the target specification of
the kernel you're booting.