Merge change 4695

* changes:
  Quick experiment with ARMv6 instructions.