Why are we using armv5te again???