[tests] update oracle with new ppc_32 machdep config

tests/value/oracle/recol.1.res.oracle

@@ -23,10 +23,10 @@
 [eva:final-states] Values at end of function main:
   s[bits 0 to 15] ∈ {97}
    [bits 16 to 47] ∈ {776}
-   [6] ∈ {-103}
+   [6] ∈ {153}
    [bits 56 to 71] ∈ {-26736}
    [bits 72 to 103] ∈ {271697}
-   [13] ∈ {-104}
+   [13] ∈ {152}
    [bits 112 to 127] ∈ {10121}
    [bits 128 to 159] ∈ {93197600}
    [20] ∈ {65}
@@ -52,8 +52,8 @@
    [bits 552 to 583] ∈ {1373000945}
    [bits 584 to 599] ∈ {21240}
    [75] ∈ {41}
-   [76] ∈ {-128}
-   [77] ∈ {-31}
+   [76] ∈ {128}
+   [77] ∈ {225}
    [bits 624 to 655] ∈ {-832127096}
    [82] ∈ {25}
    [83] ∈ {16}