On Fri, Apr 18, 2014 at 10:32:08AM +0200, Axel wrote: > Today I will download the package from another machine and another Internet > connection, and I will use another USB pen.
Oh, are you installing the driver from a USB storage device because this is actually rather an internet bootstrapping problem because the x1 is too thin to have an ethernet port? I've never attempted to do that, I have a little usb->ethernet dongle thing that came with the laptop, it's recognized by axe(4) and works no problem. I use that when I am at home, which is where I do most of my upgrades, so I always just run fw_update from the laptop, already connected to the internet. If you are instead trying to install it by downloading the file yourself, perhaps you forgot to download the signatures too? That would explain it. Try downloading http://firmware.openbsd.org/firmware/5.5/SHA256.sig too :)