/projects/coreboot/configs/kgpe-d16/textmode/16mb/seabios/