[coreboot-gerrit] New patch to review for coreboot: 183c3ab rk3288: don't log LAST_TSHUT bit