Se o kernel funcionar, eu o manteria. Eu iria encontrar o bug correspondente no bug tracker do Ubuntu e ficar de olho nele para ver se ele é consertado eventualmente. Se você não conseguir encontrar um bug , talvez seja melhor denunciá-lo e mencionar o URL ao qual você se vinculou para garantir que patch fica no radar da equipe do kernel.
Quando 13.10 chega e você atualiza para que você pode apenas usar o kernel que vem com ele e você deve estar bem. Não é ideal que o kernel da distro não funcione com o seu laptop, mas neste caso o trabalho sempre vence sem funcionar.