[   13.977360] tda829x 2-0042: type set to tda8295+18271
[   14.858431] cx23885[0]/0: registered device video0 [v4l2]
[   15.716236] cx23885[0]: registered device video1 [mpeg]
[   15.716239] cx23885_dvb_register() allocating 1 frontend(s)
[   15.716243] cx23885[0]: cx23885 based dvb card
[   15.955600] MT2131: successfully identified at address 0x61
[   15.957432] DVB: registering new adapter (cx23885[0])
[   15.957435] DVB: registering adapter 0 frontend 0 (Samsung S5H1409 QAM/8VSB Frontend)...
[   15.957730] cx23885_dev_checkrevision() Hardware revision = 0xb1
[   15.957737] cx23885[0]/0: found at 0000:02:00.0, rev: 15, irq: 16, latency: 0, mmio: 0xfd800000
[   15.957744] cx23885 0000:02:00.0: setting latency timer to 64
[   15.957749] IRQ 16/cx23885[0]: IRQF_DISABLED is not guaranteed on shared IRQs
[   17.893522] usplash:1014 freeing invalid memtype ffffffffd8000000-ffffffffd9000000
[   20.956349] usb 1-1: usbfs: interface 0 claimed by usblp while 'usb' sets config #1
[   22.429215] [drm] Setting GART location based on new memory map
[   22.430315] [drm] Loading RS690/RS740 Microcode
[   22.430333] [drm] Num pipes: 1
[   22.430339] [drm] writeback test succeeded in 1 usecs
[   23.825262] eth0: no IPv6 routers present
[   37.873696] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   81.000277] Clocksource tsc unstable (delta = -175890669 ns)