It would be nice if we could specify "x86" under the "Target ABI" and get that particular system image automatically installed.

Installing "sysimg-15", for example, only installs the default system image from Android, which is the one for ARM.

If we could somehow magically figure out the x86 ABI name (which is probably non-predictable, as it comes from a third party, Intel), then that would be useful. Maybe we can hardcode some names, or patterns...