Eu tenho o mesmo problema com o meu Zenbook UX31E.
Eu também tenho uma nova instalação de 13.10, com alguns ajustes descritos: link
Acabei de aplicar a solução na descrição do bug aqui: link
Eu editei /etc/rc0.d/S20sendsigs
, alterando o for seq in 1 2 3 4 5 6 7 8 9 10; do
para for seq in 1 ; do
.
Isso não faz o initctl sair de forma limpa, mas evita em vão esperar 10 segundos para o processo terminar e o desligamento é rápido novamente.