Merge "Fix ARM code generator for Select." into pi-dev