linuxのブート時やdmesgに時間を出すには

カーネルが3.3.8だとすれば
カーネルを再構築する時のmenuconfigで

Kernel hacking -> [*] Show timing information on printks

を有効にしたカーネルを使うだけでこんなのが

% dmesg|tail -n 5
eth0: no IPv6 routers present
pci 0000:00:02.0: setting latency timer to 64
[drm] Supports vblank timestamp caching Rev 1 (10.10.2010).
[drm] No driver support for vblank timestamp query.
[drm] Initialized vboxvideo 1.0.0 20090303 for 0000:00:02.0 on minor 0

こうなります

% dmesg|tail -n 5
[   35.074696] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[   45.763108] eth0: no IPv6 routers present
[   67.986139] [drm] Supports vblank timestamp caching Rev 1 (10.10.2010).
[   67.990041] [drm] No driver support for vblank timestamp query.
[   67.990041] [drm] Initialized vboxvideo 1.0.0 20090303 for 0000:00:02.0 on minor 0

ちなみにこの時間はシステムが起動してからの行われた時間(秒)だと思います