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