/config/coreboot/kfsn4-dre