A configuração de modo do kernel trava minha inicialização, mas o driver ATI exige

Eu tenho um MacBook Pro final de 2011. Possui uma placa de vídeo Intel integrada e uma placa de vídeo ATI discreta. Idealmente, eu gostaria que o meu Xorg usasse a placa ATI com o driver gratuito (sem Catalyst). Aqui está o problema: o modo de configuração do kernel trava minha inicialização...