The mentioned PR was superseded by
to have binaries with maximum performance for all ARM binaries around there.