Fix 11 of 12 test cases for x86 and FlexPRET backends#13

lsk567 merged 2 commits intomainicyphy/gametime:mainfrom

fix/get-all-tests-passingicyphy/gametime:fix/get-all-tests-passingCopy head branch name to clipboard