Incorporate Pete's comments on KeyboardEventStream.

tests/html/html.status

Index: tests/html/html.status
diff --git a/tests/html/html.status b/tests/html/html.status
index 94f50f191035914cdcf9b61ed46e09cc0177c5c0..c3b92b7b5c7ebb4e46b6654c38ad8e02bf13a36e 100644
--- a/tests/html/html.status
+++ b/tests/html/html.status
@@ -26,9 +26,6 @@ touchevent_test/supported: Fail
 [$runtime == drt || $runtime == dartium || $runtime == chrome]
 webgl_1_test: Pass, Fail # Issue 8219
 
-[($runtime == drt || $runtime == dartium) && $compiler == none && $checked ]
-keyboard_event_test: Fail # Issue: 9423
-
 [ $runtime == drt || ($runtime == chrome && $system == windows) ]
 audiobuffersourcenode_test: Pass, Fail, Timeout, Crash # AudiobufferSourceNode is flaky on Chrome and Dartium - filed issue 8021 for the timeout.
 audiocontext_test: Pass, Timeout, Crash  # Issue 8021.