Patch "powerpc/64s: Fix conversion of slb_miss_common to use RFI_TO_USER/KERNEL" has been added to the 4.9-stable tree