Re: [PATCH] platform/x86: alienware-wmi-wmax: Fix `dmi_system_id` array