The best possibility is to identify the problem from the ACPI table provided by the BIOS, which is wrong (it is what suggests the overlap). I posted my DSDT at the kernel bugzilla, if you want to have a look.
The best possibility is to identify the problem from the ACPI table provided by the BIOS, which is wrong (it is what suggests the overlap). I posted my DSDT at the kernel bugzilla, if you want to have a look.