* Switched default PCI speed for 8540 ADS back to 33MHz
[platform/kernel/u-boot.git] / doc / README.dk1s40_std32
2004-01-03 wdenkPatches by Stephan Linz, 11 Dec 2003: