Fix thumb support in 36b9052157da87809210eb3cb00b9c5a8af03823.