Aquí está el kernel Antibytes 12.2 con HDMI:
https://dl.dropbox.com/u/12577905/an....2_hdmi_JB.zip
Y aquí el OC1B1:
https://dl.dropbox.com/u/12577905/OC1B1_JB.zip
Los dos funcionan en la rom de este hilo, ignoro si funcionarán en otras.
Para cambiar el dpi a 120 y que se vea todo más pequeño, lo mejor es descargarse el buidprop editor del market y en la línea donde ponga DPI 160, cambiarlo a 120.
Saludos.
PD: los archivos se están subiendo, puede que no estén disponibles hasta dentro de un rato.