In 3.8 base/norestore, I had ACPI thermal data and a few other things at /proc/acpi. In 4.0+, however, dmesg shows some ACPI output but I don't have /proc/acpi entries. Some details below.
Perhaps I now need an extension or boot code or something to get those back now? I've done a bit of forum searching, but maybe someone can point me in the right direction.
ls /proc/acpi from TC 3.8.1 base norestore:
total 0
dr-xr-xr-x 11 root root 0 Oct 15 15:52 ./
dr-xr-xr-x 63 root root 0 Oct 15 15:52 ../
dr-xr-xr-x 3 root root 0 Oct 15 15:53 ac_adapter/
-rw-r--r-- 1 root root 0 Oct 15 15:53 alarm
dr-xr-xr-x 3 root root 0 Oct 15 15:53 battery/
dr-xr-xr-x 5 root root 0 Oct 15 15:53 button/
-r-------- 1 root root 0 Oct 15 15:53 dsdt
dr-xr-xr-x 3 root root 0 Oct 15 15:53 embedded_controller/
-r-------- 1 root root 0 Oct 15 15:53 event
-r-------- 1 root root 0 Oct 15 15:53 fadt
dr-xr-xr-x 2 root root 0 Oct 15 15:53 fan/
-r--r--r-- 1 root root 0 Oct 15 15:53 info
dr-xr-xr-x 2 root root 0 Oct 15 15:53 power_resource/
dr-xr-xr-x 4 root root 0 Oct 15 15:53 processor/
-rw-r--r-- 1 root root 0 Oct 15 15:53 sleep
dr-xr-xr-x 3 root root 0 Oct 15 15:53 thermal_zone/
dr-xr-xr-x 3 root root 0 Oct 15 15:53 video/
-rw-r--r-- 1 root root 0 Oct 15 15:53 wakeup
ls /proc/acpi from TC 4.0.2:
ac_adapter/
battery/
button/
event
wakeup
dmesg | grep ACPI from TC 4.0.2:
BIOS-e820: 000000003f7b0000 - 000000003f7be000 (ACPI data)
BIOS-e820: 000000003f7be000 - 000000003f7f0000 (ACPI NVS)
ACPI: RSDP 000f9c50 00014 (v00 ACPIAM)
ACPI: RSDT 3f7b0000 0003C (v01 043010 RSDT1004 20100430 MSFT 00000097)
ACPI: FACP 3f7b0200 00084 (v02 043010 FACP1004 20100430 MSFT 00000097)
ACPI: DSDT 3f7b0430 08042 (v01 361A0 361A0F16 00000F16 INTL 20060317)
ACPI: FACS 3f7be000 00040
ACPI: APIC 3f7b0390 0005C (v01 043010 APIC1004 20100430 MSFT 00000097)
ACPI: MCFG 3f7b03f0 0003C (v01 043010 OEMMCFG 20100430 MSFT 00000097)
ACPI: OEMB 3f7be040 00224 (v01 043010 OEMB1004 20100430 MSFT 00000097)
ACPI: ASF! 3f7b8480 00075 (v32 LEGEND I865PASF 00000001 INTL 20060317)
ACPI: SSDT 3f7bebe0 004F0 (v01 PmRef CpuPm 00003000 INTL 20060317)
ACPI: Local APIC address 0xfee00000
ACPI: PM-Timer IO Port: 0x808
ACPI: Local APIC address 0xfee00000
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
ACPI: IRQ0 used by override.
ACPI: IRQ2 used by override.
ACPI: IRQ9 used by override.
Using ACPI (MADT) for SMP configuration information
ACPI: Core revision 20110413
PM: Registering ACPI NVS region at 3f7be000 (204800 bytes)
ACPI: bus type pci registered
ACPI: EC: Look up EC in DSDT
ACPI: Executed 1 blocks of module-level executable AML code
ACPI: SSDT 3f7be340 0023C (v01 PmRef Cpu0Ist 00003000 INTL 20060317)
ACPI: Dynamic OEM Table Load:
ACPI: SSDT (null) 0023C (v01 PmRef Cpu0Ist 00003000 INTL 20060317)
ACPI: SSDT 3f7be610 005D0 (v01 PmRef Cpu0Cst 00003001 INTL 20060317)
ACPI: Dynamic OEM Table Load:
ACPI: SSDT (null) 005D0 (v01 PmRef Cpu0Cst 00003001 INTL 20060317)
ACPI: SSDT 3f7be270 000CC (v01 PmRef Cpu1Ist 00003000 INTL 20060317)
ACPI: Dynamic OEM Table Load:
ACPI: SSDT (null) 000CC (v01 PmRef Cpu1Ist 00003000 INTL 20060317)
ACPI: SSDT 3f7be580 00085 (v01 PmRef Cpu1Cst 00003000 INTL 20060317)
ACPI: Dynamic OEM Table Load:
ACPI: SSDT (null) 00085 (v01 PmRef Cpu1Cst 00003000 INTL 20060317)
[Firmware Bug]: ACPI: BIOS _OSI(Linux) query ignored
ACPI: Interpreter enabled
ACPI: (supports S0 S3 S4 S5)
ACPI: Using IOAPIC for interrupt routing
PCI: MMCONFIG at [mem 0xe0000000-0xefffffff] reserved in ACPI motherboard resources
ACPI: EC: GPE = 0x17, I/O: command/status = 0x66, data = 0x62
ACPI: No dock devices found.
PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P1._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P5._PRT]
ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 7 *10 11 12 14 15)
ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 7 10 *11 12 14 15)
ACPI: PCI Interrupt Link [LNKC] (IRQs *3 4 5 6 7 10 11 12 14 15)
ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 7 10 11 12 14 *15)
ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 7 10 11 12 14 15) *0, disabled.
ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 *5 6 7 10 11 12 14 15)
PCI: Using ACPI for IRQ routing
pnp: PnP ACPI init
ACPI: bus type pnp registered
pnp 00:00: Plug and Play ACPI device, IDs PNP0a08 PNP0a03 (active)
system 00:01: Plug and Play ACPI device, IDs PNP0c01 (active)
pnp 00:02: Plug and Play ACPI device, IDs PNP0200 (active)
pnp 00:03: Plug and Play ACPI device, IDs PNP0b00 (active)
pnp 00:04: Plug and Play ACPI device, IDs PNP0303 PNP030b (active)
pnp 00:05: Plug and Play ACPI device, IDs SYN1e02 SYN1e00 SYN0002 PNP0f13 (active)
pnp 00:06: Plug and Play ACPI device, IDs PNP0800 (active)
pnp 00:07: Plug and Play ACPI device, IDs PNP0c04 (active)
system 00:08: Plug and Play ACPI device, IDs PNP0c02 (active)
system 00:09: Plug and Play ACPI device, IDs PNP0c02 (active)
system 00:0a: Plug and Play ACPI device, IDs PNP0c02 (active)
system 00:0b: Plug and Play ACPI device, IDs PNP0c01 (active)
pnp: PnP ACPI: found 12 devices
ACPI: ACPI bus type pnp unregistered
PnPBIOS: Disabled by ACPI PNP
ACPI: Lid Switch [LID]
ACPI: Sleep Button [SLPB]
ACPI: Power Button [PWRB]
ACPI: Power Button [PWRF]
ACPI: acpi_idle yielding to intel_idle
ACPI: Thermal Zone [THRM] (59 C)
ACPI: Video Device [IGD] (multi-head: yes rom: no post: no)
ACPI: Deprecated procfs I/F for AC is loaded, please retry with CONFIG_ACPI_PROCFS_POWER cleared
ACPI: AC Adapter [AC0] (on-line)
ACPI: Deprecated procfs I/F for battery is loaded, please retry with CONFIG_ACPI_PROCFS_POWER cleared
ACPI: Battery Slot [BAT1] (battery present)