installation osx el capitan dual boot kali linux