acpi: Add support for SSDT generation