Hi atolboo:
It comes up on the screen right at the start, before "INIT: 2.86 Booting", and is then repeated in /var/log/syslog shortly after the USB and Network subsystems are initialized. (I've added the lines around the occurrence in the log file)
Jul 29 12:01:59 ephiny kernel: [ 4.321130] cpuidle: using governor ladder
Jul 29 12:01:59 ephiny kernel: [ 4.321285] cpuidle: using governor menu
Jul 29 12:01:59 ephiny kernel: [ 4.321879] usbcore: registered new interface driver hiddev
Jul 29 12:01:59 ephiny kernel: [ 4.321916] usbcore: registered new interface driver usbhid
Jul 29 12:01:59 ephiny kernel: [ 4.321924] usbhid: v2.6:USB HID core driver
Jul 29 12:01:59 ephiny kernel: [ 4.323167] NET: Registered protocol family 17
Jul 29 12:01:59 ephiny kernel: [ 4.323749] P-state transition latency capped at 20 uS
Jul 29 12:01:59 ephiny kernel: [ 4.324034] longhaul: APIC detected. Longhaul is currently broken in this configuration.
Jul 29 12:01:59 ephiny kernel: [ 4.324420] Using IPI No-Shortcut mode
Jul 29 12:01:59 ephiny kernel: [ 4.324625] TuxOnIce 3.0.1 (http://tuxonice.net)
Jul 29 12:01:59 ephiny kernel: [ 4.324778] TuxOnIce: Ignoring late initcall, as requested.
Jul 29 12:01:59 ephiny kernel: [ 4.353542] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input5
Jul 29 12:01:59 ephiny kernel: [ 4.500062] Clocksource tsc unstable (delta = -150774331 ns)