Fix compilation of Tyan S2735 which was broken by accident in r3038.
[coreboot.git] / src / arch /
drwxr-xr-x   ..
drwxr-xr-x - i386
drwxr-xr-x - ppc