Apply linuxbios-rename-other-payload-options.patch
[coreboot.git] / src / mainboard / olpc /
drwxr-xr-x   ..
drwxr-xr-x - btest
drwxr-xr-x - rev_a