cris@cris-Compaq-CQ58-Notebook-PC:~$ cat /proc/cmdline
BOOT_IMAGE=/boot/vmlinuz-3.19.0-25-generic root=UUID=95ee305c-8ea0-48d5-97ed-78bdd1f9bf7a ro quiet splash vt.handoff=7 acpi_osi=! "acpi_osi=Windows 2012"