linux/debian/arch/ia64/config.itanium-smp