Use system's default compiler on x86.
remove ARM926EJ_S platform (even from comments)

See also https://github.com/seL4/seL4/issues/1
Merge pull request #4 from gklein/master

remove ARM926EJ_S platform (even from comments)