platform/x86: wmi: Do not mix pages and kmalloc