Hi ppl, just wanted to know if theres a "Debian" way of upgradind the kernel as well.. or is it still manually downloading, unzipping, etc etc? thanks! Camilo