Hi all,As reported by the forum thread https://bbs.archlinux.org/viewtopic.php?pid=1410987 I encounter the same problem.
Unfortunately, the topic has been closed because of trolling, but would you know a quick workaround (staying with this kernel)?
I need VMware workstation for work too :-)
