[coreboot-gerrit] [M] Change in coreboot[main]: soc/mediatek/mt8196: Fix timer reset in BL31