[coreboot-gerrit] [XS] Change in coreboot[main]: soc/mediatek/mt8188: Change the size of OP-TEE image