Patch "powerpc/64s: Fix RFI flush dependency on HARDLOCKUP_DETECTOR" has been added to the 4.4-stable tree