"Work around thinkpad firmware memory layout issues and efi_mem_reserve()" fix missing from 4.9.2-200.fc25

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