As pointed out by Martin GUY, gcc incorrectly generates armv5t instrcutions for EABI, even for cores that are an armv4t. The new patch (for the 4.3 series) fixes the problem by downgrading the default CPU for EABI to being an armv4t core.