Hi,
I was running some tests on a Thinkpad W541 this morning
and I noticed that kernel-4.9.2-200.fc25 does not boot.
Where as this one:
https://koji.fedoraproject.org/koji/buildinfo?buildID=824906
Does boot, could it be that the patch for:
"Work around thinkpad firmware memory layout issues and efi_mem_reserve()"
Did not get merged when the f25 branch was bumped to 4.9.x ?
Regards,
Hans