/resources/coreboot/kgpe-d16-rdimm-nopcirom_16mb/config/
../
libgfxinit_txtmode