coreboot-kgpe-d16/payloads/libpayload/configs/defconfig-mips