[Bug 408722] vmware workstation gcc <-> kernel version conflict