[PATCH 10/15] platform/x86: wmi: make device_type const