No Bug: Fix android bustage on armv6 push (r=red, CLOSED TREE)