It seems that Linux/Android wants 0xffffffff as the architecture ID for some machines.
Authored by: debug 2019-02-06
Parent: [r6150]
Child: [r6152]
