Hi, a few weeks ago we decided to ditch the armv5 efforts and go with armv6hl instead (which works for Raspberry Pi, but not for older chips). This gives a bit of performance and fewer miscompiles, so less things to worry. Could you please push the attached patch to master? TIA, Dirk