/resources/libreboot/config/x200_4mb/
../
config