coreboot-kgpe-d16/configs/config.foxconn_g41m