Comment # 34 on bug 931964 from Dr. Werner Fink

I've seen

  <4>[   11.607735] ACPI Warning: 0x0000000000000428-0x000000000000042f
SystemIO conflicts with Region \PMIO 1 (20130517/utaddress-251)
  <6>[   11.607741] ACPI: If an ACPI driver is available for this device, you
should use it instead of the native driver
  <4>[   11.607744] ACPI Warning: 0x0000000000000530-0x000000000000053f
SystemIO conflicts with Region \GPIO 1 (20130517/utaddress-251)
  <6>[   11.607747] ACPI: If an ACPI driver is available for this device, you
should use it instead of the native driver
  <4>[   11.607748] ACPI Warning: 0x0000000000000500-0x000000000000052f
SystemIO conflicts with Region \GPIO 1 (20130517/utaddress-251)
  <6>[   11.607750] ACPI: If an ACPI driver is available for this device, you
should use it instead of the native driver
  <4>[   11.607750] lpc_ich: Resource conflict(s) found affecting gpio_ich
  <6>[   11.616587] iTCO_vendor_support: vendor-support=0
  <6>[   11.617381] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.10
  <6>[   11.617400] iTCO_wdt: Found a Panther Point TCO device (Version=2,
TCOBASE=0x0460)
  <6>[   11.617459] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)
  <7>[   11.652426] mei_me 0000:00:16.0: setting latency timer to 64
  <7>[   11.652458] mei_me 0000:00:16.0: irq 44 for MSI/MSI-X
  <4>[   11.667592] ACPI Warning: 0x000000000000f040-0x000000000000f05f
SystemIO conflicts with Region \_SB_.PCI0.SBUS.SMBI 1 (20130517/utaddress-251)

you may try the boot parameter "acpi_apic_instance=1" or "acpi_apic_instance=2"
to see if this change anything. Or the other what could be help her is to
switch into some legacy method for the processor ACPI with "processor.nocst=1"