Installing Debian 12 on a 16 year old laptop