andrea@helicon:~$ dmesg | tail 
[   21.122733] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   21.122735] vboxdrv: Successfully loaded version 4.3.10_Ubuntu (interface 0x001a0007).
[   21.140084] vboxpci: IOMMU not found (not registered)
[   23.826751] nvidia 0000:01:00.0: irq 44 for MSI/MSI-X
[   25.086681] init: plymouth-upstart-bridge main process ended, respawning
[   32.539516] hda-codec: out of range cmd 0:5:707:ffffffbf
[   48.397342] audit_printk_skb: 150 callbacks suppressed
[   48.397348] type=1400 audit(1429688931.050:62): apparmor="STATUS" operation="profile_replace" profile="unconfined" name="/usr/lib/cups/backend/cups-pdf" pid=2443 comm="apparmor_parser"
[   48.397359] type=1400 audit(1429688931.050:63): apparmor="STATUS" operation="profile_replace" profile="unconfined" name="/usr/sbin/cupsd" pid=2443 comm="apparmor_parser"
[   48.398043] type=1400 audit(1429688931.050:64): apparmor="STATUS" operation="profile_replace" profile="unconfined" name="/usr/sbin/cupsd" pid=2443 comm="apparmor_parser"