tests: update tests for handler parameters#78

corlewis wants to merge 1 commit intoseL4:masterseL4/sel4test:masterfrom

corlewis:corlewis/set-handler-paramscorlewis/sel4test:corlewis/set-handler-paramsCopy head branch name to clipboard