[coreboot] [libpayload] [patch] fix "make menuconfig"