Apply linuxbios-rename-other-payload-options.patch
[coreboot.git] / documentation / RFC /
drwxr-xr-x   ..
-rw-r--r-- 10595 chip.tex
-rw-r--r-- 8137 config.tex