[coreboot-gerrit] Patch set updated for coreboot: e6e694f rk3288: don't log LAST_TSHUT bit