Thanks. As I have already written elsewhere in this thread, the problem
went away after I updated the BIOS to the latest version. So it was Lenovo
who was to blame, and I was just unlucky enough to hit the series with
broken BIOS.
Thanks,
--
Jiri Kosina
--