/config/submodule/coreboot/
../
coreboot413
default
dell7
fam15h
haswell
next