acpi: x86: build_dsdt: use acpi_table_begin()/acpi_table_end() instead of build_header()