/resources/libreboot/config/seabios/kgpe-d16/