user@notebook:~$ dmesg | grep "acpi"
[    0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-4.2.0-19-generic root=UUID=a59a5d91-97bb-4b46-9b88-2261c9d46603 ro no_acpi init=/lib/systemd/systemd
[    0.000000] Kernel command line: BOOT_IMAGE=/boot/vmlinuz-4.2.0-19-generic root=UUID=a59a5d91-97bb-4b46-9b88-2261c9d46603 ro no_acpi init=/lib/systemd/systemd
[    0.325994] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[    0.371516] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI]
[    0.371559] acpi PNP0A08:00: _OSC failed (AE_ERROR); disabling ASPM
[    0.459728] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns
[    5.464434] acpi device:33: registered as cooling_device4
[    5.469945] acpi device:46: registered as cooling_device5