[PATCH] lib: acpi: rename dsdt.c to acpi_write_dsdt.c