It's almost done. Needs a few fix be up in a few days.
Beware it is unofficial. Here it is https://forum.xda-developers.com/xposed/xposed-android-nougat-sdk-25-arm64-t3639221
Ram can't be increased rather learn to tune LMK (Low Memory Killer) and also add a low memory flag to build.prop
Do you know if MIUI Italia Rom has recovery already included like MIUISU (Russia) when press power button? They have advanced boot options embedded in their ROM, if not there's MIUI Reboot Module for Xposed Framework.
---------- Post added at 08...
What's FDE? Another Kernel? Have your tried Xcelerate on MIUI 9? Are the kernels that you mentioned above better than Xcelerate (performance-wise)?
Xcekerate gives bootloop after sometime it hasn't been updated and FDE is a tweak to increase perfo...