Minor ARMv4 update.