Fix write barrier parameter type#1130

wks merged 3 commits intommtk:mastermmtk/mmtk-core:masterfrom

wks:fix/write-barrier-optionwks/mmtk-core:fix/write-barrier-optionCopy head branch name to clipboard