Lenovo G580 - dual boot windows 10 / El capitan 10.11