change from AMD for the IRQ10 problem.
[coreboot.git] / src / mainboard / olpc /
drwxr-xr-x   ..
drwxr-xr-x - rev_a