x86/tsc: Annotate printouts as firmware bug