/projects/coreboot/configs/seabios/kgpe-d16/