coreboot-kgpe-d16/configs/config.intel_galileo_gen2