./kernel/arch/alpha/hal/granite.c 1.1.16.1
./kernel/arch/alpha/hal/hyperbrick2.c 1.1.10.1
./kernel/arch/alpha/hal/privateer.c 1.1.31.1
./kernel/arch/alpha/hal/titan.c 1.1.43.1
