Te aviso que Paranoid v4 pertenece a la versión Kit-Kat que no tiene modo minitab, tiene un modo que hace que se oculte la barra de navegación, pero no se rota el escritorio de manera que parezca un tablet realmente. Las que tenían ese modo se que era la versión 3.99 RC2 que era una Jelly Bean 4.3.1.
A lo del Kernel, no estoy seguro si ese servía para esa instalación, espera una recomendación de otro sobre ello, que de versiones inferiores al kernel Philz 3.99 no se si valen para instalar Rom's JellyBean ( 4.1x-4.3.1 ) o que versiones son las compatibles.
En cuanto a los pasos son correctos, aunque en un cambio de Rom donde las aplicaciones y datos están a salvo para introducirlos correctamente en la nueva Rom, yo tras la instalación del Kernel correcto y el reinicio para usar ese kernel, hago unos format's en data, cache, system y sdCard0 ( SD interna ), así se que el cambio no arrastrara datos incorrectos a la nueva rom que tendre.