thinkpad-acpi: deprecate hotkey_bios_mask