Add the ACPICA_PEDANTIC option which is off by default. Enabling it will

enable strict checks of the AML.  Our default behavior will be to relax
checks to work on as many platforms as possible.  Also clean up and document
other ACPI options while I'm here.

sys/conf/NOTES

@@ -2393,8 +2393,6 @@ options		KSTACK_MAX_PAGES=32 # Maximum pages to give the kernel stack
 
 # Yet more undocumented options for linting.
 options 	AAC_DEBUG
-options 	ACPI_MAX_THREADS=1
-#!options 	ACPI_NO_SEMAPHORES
 # Broken:
 ##options 	ASR_MEASURE_PERFORMANCE
 # BKTR_ALLOC_PAGES has no effect except to cause warnings, and

sys/conf/options

@@ -594,8 +594,9 @@ WITNESS_SKIPSPIN	opt_witness.h
 
 # options for ACPI support
 ACPI_DEBUG		opt_acpi.h
-ACPI_NO_SEMAPHORES	opt_acpi.h
 ACPI_MAX_THREADS	opt_acpi.h
+ACPI_NO_SEMAPHORES	opt_acpi.h
+ACPICA_PEDANTIC		opt_acpi.h
 
 # options for DEVFS, see sys/fs/devfs/devfs.h
 NDEVFSINO		opt_devfs.h

sys/i386/conf/NOTES

@@ -410,11 +410,22 @@ options 	TDFX_LINUX		# Enable Linuxulator support
 # Intel ACPICA code.  (Note that the Intel code must also have USE_DEBUGGER
 # defined when it is built).
 #
+# ACPI_MAX_THREADS sets the number of task threads started.
+#
+# ACPI_NO_SEMAPHORES makes the AcpiOs*Semaphore routines a no-op.
+#
+# ACPICA_PEDANTIC enables strict checking of AML.  Our default is to
+# relax these checks to allow code generated by the Microsoft compiler
+# to still execute.
+#
 # Note that building ACPI into the kernel is deprecated; the module is
 # normally loaded automatically by the loader.
 #
 device		acpi
 options 	ACPI_DEBUG
+options 	ACPI_MAX_THREADS=1
+#options 	ACPI_NO_SEMAPHORES
+#options 	ACPICA_PEDANTIC
 
 # DRM options:
 # mgadrm:    AGP Matrox G200, G400, G450, G550