[   14.729493] EXT4-fs (dm-2): re-mounted. Opts: commit=0
[   14.730935] EXT4-fs (dm-3): re-mounted. Opts: commit=0
[   15.260286] EXT4-fs (dm-1): re-mounted. Opts: commit=0
[   20.737381] eth0: no IPv6 routers present
[   21.586050] eth1: no IPv6 routers present
[  775.565986] Mantis 0000:02:01.0: PCI INT A disabled
[  776.114370] Mantis 0000:02:00.0: PCI INT A disabled
[  806.427516] Mantis 0000:02:00.0: PCI INT A -> GSI 21 (level, low) -> IRQ 21
[  806.429510] DVB: registering new adapter (Mantis DVB adapter)
[  807.339033] DVB: registering adapter 0 frontend 0 (Philips TDA10023 DVB-C)...
[  807.339174] Mantis 0000:02:01.0: PCI INT A -> GSI 22 (level, low) -> IRQ 22
[  807.340307] DVB: registering new adapter (Mantis DVB adapter)
[  808.256437] DVB: registering adapter 1 frontend 0 (Philips TDA10023 DVB-C)...
[ 1896.274242] hda-intel: IRQ timing workaround is activated for card #0. Suggest a bigger bdl_pos_adj.