[coreboot-gerrit] [XS] Change in coreboot[main]: soc/mediatek/mt8188: Respect ARM64_BL31_OPTEE_WITH_SMC option