pref: cleanup conditions in os.v and arch.c.v
#9091
| Job | Run time |
|---|---|
| 1m 4s | |
| 1m 5s | |
| 53s | |
| 3m 2s |
os.v and arch.c.v
#9091
| Job | Run time |
|---|---|
| 1m 4s | |
| 1m 5s | |
| 53s | |
| 3m 2s |