Thanks for the bug report, Cristian. There's definitely something wrong here. There are several similar reports of invalid UUID, and I just don't believe they're all caused by BIOS bugs:
https://bugzilla.kernel.org/show_bug.cgi?id=17792 (your report) https://bugzilla.kernel.org/show_bug.cgi?id=34192 https://bugzilla.kernel.org/show_bug.cgi?id=35532 https://bugzilla.kernel.org/show_bug.cgi?id=36932 https://bugzilla.kernel.org/show_bug.cgi?id=42604 https://bugzilla.kernel.org/show_bug.cgi?id=43229 https://bugzilla.kernel.org/show_bug.cgi?id=54951 https://bugzilla.kernel.org/show_bug.cgi?id=54981 (includes analysis that might be useful) https://bugzilla.kernel.org/show_bug.cgi?id=59311 https://bugzilla.kernel.org/show_bug.cgi?id=70891 https://bugzilla.kernel.org/show_bug.cgi?id=73241 (SDHCI) https://bugzilla.kernel.org/show_bug.cgi?id=87491 https://bugzilla.kernel.org/show_bug.cgi?id=90351 https://bugzilla.kernel.org/show_bug.cgi?id=93561 (SDHCI) If these all really are BIOS bugs, I think we should figure out a better way of handling them. In https://bugzilla.kernel.org/show_bug.cgi?id=93561, Maarten found that we complained about an invalid _OSC UUID when CONFIG_HOTPLUG_PCI_ACPI was not set, but _OSC worked when CONFIG_HOTPLUG_PCI_ACPI=y. We're still trying to figure out how that could make a difference. Can you tell whether CONFIG_HOTPLUG_PCI_ACPI has any effect on the _OSC UUID error you're seeing? I attached a patch at https://bugzilla.kernel.org/show_bug.cgi?id=93561#c12 to try to debug a little further. It would be interesting if you could try it out, too. I guess you should post results either here or in a new kernel.org bugzilla, because 93561 is really not about the UUID error; it's about an SDHCI problem. ** Bug watch added: Linux Kernel Bug Tracker #17792 http://bugzilla.kernel.org/show_bug.cgi?id=17792 ** Bug watch added: Linux Kernel Bug Tracker #34192 http://bugzilla.kernel.org/show_bug.cgi?id=34192 ** Bug watch added: Linux Kernel Bug Tracker #35532 http://bugzilla.kernel.org/show_bug.cgi?id=35532 ** Bug watch added: Linux Kernel Bug Tracker #36932 http://bugzilla.kernel.org/show_bug.cgi?id=36932 ** Bug watch added: Linux Kernel Bug Tracker #42604 http://bugzilla.kernel.org/show_bug.cgi?id=42604 ** Bug watch added: Linux Kernel Bug Tracker #43229 http://bugzilla.kernel.org/show_bug.cgi?id=43229 ** Bug watch added: Linux Kernel Bug Tracker #54951 http://bugzilla.kernel.org/show_bug.cgi?id=54951 ** Bug watch added: Linux Kernel Bug Tracker #54981 http://bugzilla.kernel.org/show_bug.cgi?id=54981 ** Bug watch added: Linux Kernel Bug Tracker #59311 http://bugzilla.kernel.org/show_bug.cgi?id=59311 ** Bug watch added: Linux Kernel Bug Tracker #70891 http://bugzilla.kernel.org/show_bug.cgi?id=70891 ** Bug watch added: Linux Kernel Bug Tracker #73241 http://bugzilla.kernel.org/show_bug.cgi?id=73241 ** Bug watch added: Linux Kernel Bug Tracker #87491 http://bugzilla.kernel.org/show_bug.cgi?id=87491 ** Bug watch added: Linux Kernel Bug Tracker #90351 http://bugzilla.kernel.org/show_bug.cgi?id=90351 ** Bug watch added: Linux Kernel Bug Tracker #93561 http://bugzilla.kernel.org/show_bug.cgi?id=93561 -- You received this bug notification because you are a member of Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1335367 Title: \_SB_.PCI0:_OSC invalid UUID Status in linux package in Ubuntu: Expired Bug description: [ 0.183350] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI] [ 0.183535] \_SB_.PCI0:_OSC invalid UUID [ 0.183537] _OSC request data:1 1f 0 ProblemType: Bug DistroRelease: Ubuntu 14.10 Package: linux-image-3.15.0-6-generic 3.15.0-6.11 ProcVersionSignature: Ubuntu 3.15.0-6.11-generic 3.15.0 Uname: Linux 3.15.0-6-generic x86_64 ApportVersion: 2.14.3-0ubuntu2 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/pcmC1D0p: caravena 2524 F...m pulseaudio /dev/snd/controlC1: caravena 2524 F.... pulseaudio /dev/snd/controlC0: caravena 2524 F.... pulseaudio CurrentDesktop: GNOME Date: Fri Jun 27 21:37:04 2014 HibernationDevice: RESUME=UUID=360bd2d2-4f44-4311-86d6-4781ac81ee87 InstallationDate: Installed on 2014-04-27 (61 days ago) InstallationMedia: Ubuntu-GNOME 14.04 LTS "Trusty Tahr" - Release amd64 (20140416.2) MachineType: SAMSUNG ELECTRONICS CO., LTD. 530U3C/530U4C ProcFB: 0 inteldrmfb ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.15.0-6-generic root=UUID=13144268-2374-4154-83f1-c35d81306190 ro quiet splash vt.handoff=7 RelatedPackageVersions: linux-restricted-modules-3.15.0-6-generic N/A linux-backports-modules-3.15.0-6-generic N/A linux-firmware 1.132 SourcePackage: linux UpgradeStatus: No upgrade log present (probably fresh install) dmi.bios.date: 04/15/2013 dmi.bios.vendor: Phoenix Technologies Ltd. dmi.bios.version: P14AAJ dmi.board.asset.tag: Base Board Asset Tag dmi.board.name: SAMSUNG_NP1234567890 dmi.board.vendor: SAMSUNG ELECTRONICS CO., LTD. dmi.board.version: FAB1 dmi.chassis.asset.tag: No Asset Tag dmi.chassis.type: 9 dmi.chassis.vendor: SAMSUNG ELECTRONICS CO., LTD. dmi.chassis.version: 0.1 dmi.modalias: dmi:bvnPhoenixTechnologiesLtd.:bvrP14AAJ:bd04/15/2013:svnSAMSUNGELECTRONICSCO.,LTD.:pn530U3C/530U4C:pvr0.1:rvnSAMSUNGELECTRONICSCO.,LTD.:rnSAMSUNG_NP1234567890:rvrFAB1:cvnSAMSUNGELECTRONICSCO.,LTD.:ct9:cvr0.1: dmi.product.name: 530U3C/530U4C dmi.product.version: 0.1 dmi.sys.vendor: SAMSUNG ELECTRONICS CO., LTD. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1335367/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : kernel-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp