[coreboot-gerrit] Patch merged into coreboot/master: 335d9f1 rk3288: don't log LAST_TSHUT bit