Hi LászlóRegarding the bug you filed at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041617
What model of Lenovo laptop is it? Do you know if it's a 32bit only computer that boots EFI?
We haven't come across similar issues yet, so just trying to figure out what happened in your specific instance.
thanks! -Jonathan
