/projects/coreboot/configs/kgpe-d16/2MiB/