Installing Debian Linux on Toshiba Libretto 50