Existem 3 (ou mais?) maneiras de desligar um computador e nem todas funcionam com todo o hardware. Aparentemente, no PC da sua namorada, o método errado é escolhido em Maverick.
O melhor que você pode fazer é registrar um bug no kernel com o seguinte comando (executado no computador com o problema - ele coletará informações necessárias sobre o hardware, o kernel, etc.):
apport-bug linux
E responda às perguntas & amp; explicar o problema no site do Launchpad quando solicitado.