Remove unsupported platforms.

See also suggestion by @jserv on https://github.com/seL4/seL4/issues/1