One entry for this in arch/ia64/Kconfig should be enough.
Reported-by: NChristoph Egger <siccegge@cs.fau.de>
Signed-off-by: NTony Luck <tony.luck@intel.com>