fix interrupt for f5 (ehci)
[coreboot.git] / src / mainboard / olpc /
drwxr-xr-x   ..
drwxr-xr-x - rev_a