platforms that can run i386-linux binaries; we don't need to set ONLY_FOR_PLATFORM as well. (And especially not more restrictively than necessary, such as excluding Linux.)