Ik heb het even nagekeken, maar het waren toch echt de 32 bit-versies.
Ik vermoed ook wel dat het een hardwareprobleem is, maar dan rijst de vraag waarom Debian daar geen last van heeft.
En verder is het niet zo belangrijk, want Debian werkt dus ik kan die laptop weer gebruiken.
Ik was alleen nieuwsgierig naar een mogelijke verklaring.