Veras, hay varios kernles disponibles para la MIUI, uno de los mejores es el ManU AXI CFS, pero si mal no he leído creo que ninguno tiene soporte Swap, pero no estoy seguro. Igualmente te voy a dejar el nombre de los 3 kernels que conozco y que van de pelos: ManU Kernel, rxKernel y GingerVillain Kernel.