ACPI / enumeration: Document the rules regarding the PRP0001 device ID