[PATCH 1/2] x86: acpi: Fix calculation of DSDT length