[Patch] with-multiple-isa option for sim application

[Ben Elliston]

Approved by fche, so I'm checking this change in.  It has been tested with
an existing ports -- no problems, of course.

Ben