Re: [arch-general] Archlinux, kernel 4.x , VMware Workstation 11