Fix cache test failure on Krait

Drain store buffer after writing a value through the 'uncached' pointer,
so reading through the 'cached' pointer can see it.
remove ARM926EJ_S platform (even from comments)

See also https://github.com/seL4/seL4/issues/1
Inforce: disable timer tests from configs until timers are operational
Disable timer tests for inforce