Dejagnu updates

1. Update baremetal dejagnu boards.
2. Resolve nsim_gdb reboots
3. Resolve checkout not working with tags and Git 1.8.