/projects/coreboot/configs/x200/4MiB/corebootfb/seabios/