Remove definitions of ACPI_SSDTX_NUM to 0, that's the default anyway.