ARM linux:  -O3 for thumb