Re: Support for ARMV5te