[RFC PATCH v2 1/2] acpi: Add script to extract ACPI device ids in the kernel