Comment booter plus rapidement ? Comment changer de kernel ?

En passant à un nouveau Kernel, Ubuntu démarre plus rapidement. Jusqu'à maintenant c'est très stable et plus rapide.... pratique pour le petit eeePc...

echo "deb http://www.array.org/ubuntu hardy eeepc" | sudo tee /etc/apt/sources.list.d/array.list
wget http://www.array.org/ubuntu/array-apt-key.asc
sudo apt-key add array-apt-key.asc
sudo apt-get update
sudo apt-get install linux-eeepc linux-headers-eeepc

source : http://www.greguti.com/petitlinux/index.php?entry=entry080614-184841