<i>Hello David<br><br>Thx. again for your feedback.! From the two packages you mention, I will use the 32 bit one. But before doing so, I would appreciate your answer to one remaining practical question. </i> <br><br><br>
<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">(...) run (....)<br>
sudo dpkg-reconfigure -phigh xserver-xorg<br>
<br>
</div>and reboot. Hopefully it works. If it works, lock the<br>
xserver-xorg-video-intel to avoid being upgraded back to latest<br>
version.<br></blockquote><div><br><br><i>Pls. briefly explain how I can </i> <b>"lock the xserver-xorg-video-intel".</b><br><br><i>Everything else you wrote a few minutes ago is perfectly clear to me.<br><br>Respectfully yours,<br>
<br>Bas. <br></i></div></div>