drivers/platform/x86/wmi.c: use generic UUID library