[PATCH v2 18/30] x86: acpi: Allow the SSDT to be empty