Several fixes for existing kernels#144

jprotze wants to merge 11 commits intollnl:masterllnl/dataracebench:masterfrom

jprotze:fix-non-determinsmjprotze/dataracebench:fix-non-determinsmCopy head branch name to clipboard