Pessoal, eu consegui resolver. Mas para isso tive que fazer 2 coisas: primeiro comprar um adaptador usb-rj45, e segundo restaurar uma sessão salva no meu time machine. Primeiro eu entrei no recovery com a internet ligada via cabo pelo adaptador usb-rj45, e depois de ter acessado o utilitário de recuperação eu recuperei essa sessão que estava salva num hd externo que eu tenho. Valeu pelas dicas aí.