[added to the 4.1 stable tree] powerpc/64s: Support disabling RFI flush with no_rfi_flush and nopti