RE: getting armv7 linker to emit armv4t thumb interworking