just for the record: I tried to install debian with a recent usb image to a Fujitsu Lifebook E558 and also this error. N.