Make build, emulation platforms, and ABIs configurable