This is a trivial fix of a broken config file from the LinuxBIOS -> Coreboot renaming...
tree39b3fe8e4cb85a35b3724adf07b718e98ee86512
drwxr-xr-x - buildrom-devel