Até onde eu posso ver, não está disponível um pacote deb da imagem do kernel linux v3.2-rc3 no momento, mas quando ele estiver disponível você deve ser capaz de atualizar desde que você instale primeiro:
para um sistema de 32 bits
OR
Depois disso, baixe e instale os três arquivos que você precisa do link que você postou (o xxx_all.deb e ambos xxx_i386.deb ou xxx._amd64.deb). Finalmente, não esqueça de executar o sudo update-grub2 em um terminal. Note que não é garantido que funcione corretamente, uma vez que o pacote não é destinado a Maverick (e, claro, este é um release candidate!)