il 550 senza dubbio, inoltre, se installerai Debian, potrei darti il kernel.deb ottimizzato per quel portatile, visto che ne ho uno anche io. al peggio potrei darti il config file.... ciao