Fixes #1440 - use user-supplied platform before falling back to default platform
Fixes #1440 - use user-supplied platform before falling back to default platform

Co-authored-by: Sai <fb4ddf2ad8697837fc8f2953a3a1bfabaa314af9@nyu.edu>

joshwatson/binaryninja-api,Vector35/binaryninja-api,joshwatson/binaryninja-api,joshwatson/binaryninja-api,Vector35/binaryninja-api,Vector35/binaryninja-api,Vector35/binaryninja-api,Vector35/binaryninja-api,Vector35/binaryninja-api,joshwatson/binaryninja-api,joshwatson/binaryninja-api,Vector35/binaryninja-api