yo puse
DModV2N
y los botones del menus y atras de vez en cuando, no funcionaban.... al final he puesto la oficial con root, y he probado 2 kernels... el stock y uno llamado bln, me kedo con el bln
el que tiene que ser bueno

es el golden... espero ke pronto lo pongan para
s3mini N