Fix classification of some microkernels#151

jprotze wants to merge 1 commit intollnl:masterllnl/dataracebench:masterfrom

jprotze:fix-classificationjprotze/dataracebench:fix-classificationCopy head branch name to clipboard