/projects/coreboot/configs/seabios/kfsn4-dre/