今日は結局解決しなかったのですが、一応同じ症状になった人のためにご報告します。ThinkPadのBIOSが起動しない、あるいはBIOSが起動してからOSが起動しない（正確には内蔵ドライブにインストールされているはずのOSを読みに行かない）という症状です。