InstallingDebianOn/HP/EliteBook 8470P Or 8570P - Debian Wiki