ACPI Thinkpad: We must always call va_end() after va_start() but do not do so in...