[coreboot-gerrit] Change in ...coreboot[master]: sb/intel/{common,i82801dx}: Improve TCO debug code