linux/kernel26/arch/alpha/boot
