/resources/libreboot/config/seabios/

• ../
• kcma-d8
• kfsn4-dre
• kgpe-d16