/drivers/platform/x86/xiaomi-wmi.mod.c