/resources/libreboot/config/seabios/kfsn4-dre/