Windows Dev Kit 2023 gets "Possibly buggy BIOS with ACPI_TYPE_INTEGER for function enumeration (20260408/ACPI-3143)" (48 of them)

I'm not sure if I've reported this before.

. . .
acpi_spmc0: <System Power Management Controller> irq
1,2,3,4,5,6,7,8,9,10,11,12,13 on acpi0
Firmware Warning (ACPI): Possibly buggy BIOS with ACPI_TYPE_INTEGER for
function enumeration
 (20260408/ACPI-3143)
. . .
Firmware Warning (ACPI): Possibly buggy BIOS with ACPI_TYPE_INTEGER for
function enumeration
 (20260408/ACPI-3143)
acpi_spmc0: No DSM supported!device_attach: acpi_spmc0 attach returned 6
. . .

For reference:

# dmesg -a | grep '20260408/ACPI-3143' | wc -l
      48

# uname -apKU
FreeBSD aarch64-main-pbase 16.0-CURRENT FreeBSD 16.0-CURRENT
main-n286433-d53633bfcf24 GENERIC-NODEBUG arm64 aarch64 1600018 1600018

I have not updated the boot world yet.

My first example seems to date back to 2026-Mar-24 but I do not upgrade
the kernels or worlds often.


-- 
===
Mark Millard
marklmi at yahoo.com