[PATCH 4.19 14/15] platform/x86: thinkpad_acpi: Correct thermal sensor allocation