FS#6734 by me: optionally build with -mthumb on ARM