Add scripts to build kernel specific for dejagnu testing.
Add option to choose kernel name in build_kernel.sh.