Created attachment 292321 [details] ACPI error image We disabled PCI support under device drivers section of make menuconfig and we built the kernel. Result was the error as shown in the image. ACPI error: AE_BAD_PARAMETER, Thread [3110141952] could not acquire Mutex[ACPI_MTX_Tables] (0x2) ACPI error: Mutex [ACPI_MTX_Tables] (0x2) is not acquired, cannot release.
Created attachment 292323 [details] ACPI Error Config file This is the config file which was used to build the kernel.
Erik, will you take a look at this issue? BTW, Manoj, please attach the acpidump output
Bug closed. Please feel free to reopen it if this is still a problem and you can provide the acpidump output of this machine.