Merge ACPI resource manager changes From FreeBSD: