Thank you for your feedbacks Magic Banana and nadebula.1984.
> you want the hard disk having a higher boot priority than the network
I have of course changed those options over and over again. Unfortunately it
doesn't help.
> check whether your CPU indeed supports PAE
I know already that I need the "forcepae" option for this device.
> it uses ATI discrete graphics
The graphics is good enough for me. I can't complain. Screen tearing is
present but that doesn't bother me much on this device since I don't plan to
use it for video playback and image editing. It wouldn't be strong and fast
enough for that.
> To make USB HDD booting reliable, the BIOS needs to be updated.
This is annoying but not vital. It would be sufficient to have a reliable
boot from the internal IDE disk.
> ThinkPad X40 is much better for GNU/Linux users.
This might be true but I can only make use of the hardware I have available.