How to patch the current 4.9.88 NXP kernel with full preemt realtime features?