/resources/libreboot/config/grub/kfsn4-dre/