Googolando ho trovato la soluzione
Si deve creare un file chiamato local.prop da mettere in /data; il file deve contenere la stringa:
qemu.sf.lcd_density=200
Dove 200 è la nuova risoluzione ... questa istruzione sovrascrive quanto impostato da Menu
(Ovviamente 200 è un esempio; si possono inserire valori compresi tra 160 e 240)