coreboot-kgpe-d16/configs/config.libretrend_lt1000