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