Comment 3 for bug 1270985

Karma Dorje, thank you for reporting this bug and helping make Ubuntu better. As per your :
[ 0.000000] ACPI BIOS Warning (bug): 32/64X FACS address mismatch in FADT - 0xA2FE4E40/0x00000000A2FE4D40, using 32 (20131115/tbfadt-522)
[ 0.466656] [Firmware Bug]: ACPI: BIOS _OSI(Linux) query ignored
[ 14.039546] [drm] Wrong MCH_SSKPD value: 0x16040307
[ 14.039548] [drm] This can cause pipe underruns and display issues.
[ 14.039550] [drm] Please upgrade your BIOS to fix this.

As well, as per an update to your BIOS is available (208). If you update to this, does it change anything? If it doesn't, could you please both specify what happened, and provide the output of the following terminal command:
sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date

For more on BIOS updates and linux, please see .

Thank you for your understanding.