[PATCH 1/1] wow64: Fix another ARM32 machine type.