redox x86?

[jzck]

redox is marked as x86 and x86_64, although it seems the redox kernel only has an x86_64 linker script, it also has an arm target file here. No mention anywhere of x86 though

[flosse]

Feel free to open a PR to fix whatever you think is correct 😉