linux-2.4/arch/ia64/boot
