Rename almost all occurences of LinuxBIOS to coreboot.
[coreboot.git] / documentation / RFC /
drwxr-xr-x   ..
-rw-r--r-- 10595 chip.tex
-rw-r--r-- 8136 config.tex