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