drivers/platform/x86/wmi-bmof.o