Verified on 3.13.0-142-generic that rfi-flush is enabled and active:
From dmesg:
[ 0.000000] rfi-flush: Using fallback displacement flush [ 0.000000] rfi-flush: patched 9 locations
Verified on 3.13.0-142-generic that rfi-flush is enabled and active:
From dmesg:
[ 0.000000] rfi-flush: Using fallback displacement flush
[ 0.000000] rfi-flush: patched 9 locations