El K850 es plataforma DB3150, solo lo puedes personalizar con box. Me parece que le puedes meter menus flash.
Podrias intentar actualizarlo para ver si se te mejora el rendimiento.