linux/kernel26/arch/ia64/hp/sim/boot
